Added the CONFIG_OSDI option to the template
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 26 Apr 2010 02:25:08 +0000 (19:25 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:45 +0000 (17:35 -0700)
Makeconfig
Makelocal.template

index 52aecc2..6a94074 100644 (file)
@@ -3,6 +3,7 @@
 # To enable any of these options, add a line like the following to your Makelocal
 # CFLAGS += $(CONFIG_APPSERVER)
 CONFIG_APPSERVER:=                 -D__CONFIG_APPSERVER__
+CONFIG_OSDI:=                      -D__CONFIG_OSDI__
 
 # Kernel configuration parameters
 # By default, each of these options will be turned off
@@ -21,7 +22,6 @@ CONFIG_NOMTRRS:=                   -D__CONFIG_NOMTRRS__
 CONFIG_E1000_MMIO_HACK:=           -D__CONFIG_E1000_MMIO_HACK__
 CONFIG_E1000_ON_BOXBORO:=          -DE1000_MMIO_ADDR=0x9bb20000
 CONFIG_E1000_ON_S142:=             -DE1000_MMIO_ADDR=0xfbee0000
-CONFIG_OSDI:=                      -D__CONFIG_OSDI__
 CONFIG_DISABLE_MPTABLES:=          -D__CONFIG_DISABLE_MPTABLES__
 CONFIG_EXPER_TRADPROC:=            -D__CONFIG_EXPER_TRADPROC__
 CONFIG_MONITOR_ON_INT:=            -D__CONFIG_MONITOR_ON_INT__
index 6b7c6c7..43d273e 100644 (file)
@@ -1,5 +1,6 @@
 # General Purpose configuration parameters
 #CFLAGS += $(CONFIG_APPSERVER)
+#CFLAGS += $(CONFIG_OSDI)
 
 # Kernel configuration parameters
 #KERN_CFLAGS += $(CONFIG_KFS)