1 # General Purpose configuration parameters
2 #CFLAGS += $(CONFIG_APPSERVER)
4 # Kernel configuration parameters
5 #KERN_CFLAGS += $(CONFIG_KFS)
6 #KERN_CFLAGS += $(CONFIG_SINGLE_CORE)
7 #KERN_CFLAGS += $(CONFIG_NETWORKING)
8 #KERN_CFLAGS += $(CONFIG_SERIAL_IO)
9 #KERN_CFLAGS += $(CONFIG_BSD_ON_CORE0)
10 # Enabling this can cause userspace to make the kernel panic.
11 #KERN_CFLAGS += $(CONFIG_SEQLOCK_DEBUG)
12 #KERN_CFLAGS += $(CONFIG_SPINLOCK_DEBUG)
13 #KERN_CFLAGS += $(CONFIG_PAGE_COLORING)
14 #KERN_CFLAGS += $(CONFIG_APPSERVER)
15 #KERN_CFLAGS += $(CONFIG_DEMAND_PAGING)
16 #KERN_CFLAGS += $(CONFIG_NOMTRRS)
17 #KERN_CFLAGS += $(CONFIG_E1000_MMIO_HACK)
18 #KERN_CFLAGS += $(CONFIG_E1000_ON_BOXBORO)
19 #KERN_CFLAGS += $(CONFIG_E1000_ON_S142)
20 #KERN_CFLAGS += $(CONFIG_DISABLE_MPTABLES)
21 #KERN_CFLAGS += $(CONFIG_EXPER_TRADPROC))
22 #KERN_CFLAGS += -DDEVELOPER_NAME=waterman
23 #KERN_CFLAGS += -DDEVELOPER_NAME=brho
25 # Userspace configuration parameters
26 #USER_CFLAGS += $(CONFIG_SYSCALL_TRAP)
27 #USER_CFLAGS += $(CONFIG_USER_DEBUGINFO)
29 # User tests configuration parameters
30 #TESTS_CFLAGS += $(CONFIG_STATIC_APPS)
32 # Default for sparc (i.e. needs an appserver)
33 ifeq ($(TARGET_ARCH),sparc)
34 KERN_CFLAGS += $(CONFIG_APPSERVER)
35 KERN_CFLAGS += -DDEVELOPER_NAME=waterman
39 $(MAKE) TARGET_ARCH=i686
42 $(MAKE) TARGET_ARCH=sparc
44 # various sparc functional simulator configurations
47 sparc_app -p$(NP) -fappserver_ros.conf fs obj/kern/kernel none
49 sparc_app_debug -p$(NP) -fappserver_ros.conf fs obj/kern/kernel none
51 sparc_app -p$(NP) -fappserver_ros.conf hw obj/kern/kernel none