Added fillmeup support for the e1000 driver
[akaros.git] / Makelocal.template
index f24b73e..f70aee2 100644 (file)
@@ -1,5 +1,6 @@
 # General Purpose configuration parameters
 #CFLAGS += $(CONFIG_APPSERVER)
+#CFLAGS += $(CONFIG_OSDI)
 
 # Kernel configuration parameters
 #KERN_CFLAGS += $(CONFIG_KFS)
@@ -7,15 +8,27 @@
 #KERN_CFLAGS += $(CONFIG_NETWORKING)
 #KERN_CFLAGS += $(CONFIG_SERIAL_IO)
 #KERN_CFLAGS += $(CONFIG_BSD_ON_CORE0)
+# Enabling this can cause userspace to make the kernel panic.
+#KERN_CFLAGS += $(CONFIG_SEQLOCK_DEBUG)
 #KERN_CFLAGS += $(CONFIG_SPINLOCK_DEBUG)
 #KERN_CFLAGS += $(CONFIG_PAGE_COLORING)
 #KERN_CFLAGS += $(CONFIG_APPSERVER)
 #KERN_CFLAGS += $(CONFIG_DEMAND_PAGING)
+#KERN_CFLAGS += $(CONFIG_NOMTRRS)
+#KERN_CFLAGS += $(CONFIG_E1000_MMIO_HACK)
+#KERN_CFLAGS += $(CONFIG_E1000_ON_BOXBORO)
+#KERN_CFLAGS += $(CONFIG_E1000_ON_S142)
+#KERN_CFLAGS += $(CONFIG_DISABLE_MPTABLES)
+#KERN_CFLAGS += $(CONFIG_EXPER_TRADPROC)
+#KERN_CFLAGS += $(CONFIG_MONITOR_ON_INT)
+#KERN_CFLAGS += $(CONFIG_DISABLE_SMT)
+
 #KERN_CFLAGS += -DDEVELOPER_NAME=waterman
 #KERN_CFLAGS += -DDEVELOPER_NAME=brho
 
 # Userspace configuration parameters
 #USER_CFLAGS += $(CONFIG_SYSCALL_TRAP)
+#USER_CFLAGS += $(CONFIG_USER_DEBUGINFO)
 
 # User tests configuration parameters
 #TESTS_CFLAGS += $(CONFIG_STATIC_APPS)
@@ -34,11 +47,11 @@ ramp:
 
 # various sparc functional simulator configurations
 NP ?= 1
-fs:
+fs: all
        sparc_app -p$(NP) -fappserver_ros.conf fs obj/kern/kernel none
-fsd:
+fsd: all
        sparc_app_debug -p$(NP) -fappserver_ros.conf fs obj/kern/kernel none
-hw:
+hw: all
        sparc_app -p$(NP) -fappserver_ros.conf hw obj/kern/kernel none
 
 .PHONY: fs fsd hw