Syscall tracing
[akaros.git] / Makeconfig
index 449c58a..694c7f1 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
@@ -17,6 +18,14 @@ CONFIG_BSD_ON_CORE0:=              -D__CONFIG_BSD_ON_CORE0__
 CONFIG_SPINLOCK_DEBUG:=            -D__CONFIG_SPINLOCK_DEBUG__
 CONFIG_PAGE_COLORING:=             -D__CONFIG_PAGE_COLORING__
 CONFIG_DEMAND_PAGING:=             -D__CONFIG_DEMAND_PAGING__
+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_DISABLE_MPTABLES:=          -D__CONFIG_DISABLE_MPTABLES__
+CONFIG_EXPER_TRADPROC:=            -D__CONFIG_EXPER_TRADPROC__
+CONFIG_MONITOR_ON_INT:=            -D__CONFIG_MONITOR_ON_INT__
+CONFIG_DISABLE_SMT:=               -D__CONFIG_DISABLE_SMT__
 
 # Userspace configuration parameters
 # By default, each of these options will be turned off