Page coloring for boxboro tests
[akaros.git] / Makelocal.template
1 # General Purpose configuration parameters
2 #CFLAGS += $(CONFIG_APPSERVER)
3 #CFLAGS += $(CONFIG_OSDI)
4
5 # Kernel configuration parameters
6 #KERN_CFLAGS += $(CONFIG_KFS)
7 #KERN_CFLAGS += $(CONFIG_SINGLE_CORE)
8 #KERN_CFLAGS += $(CONFIG_NETWORKING)
9 #KERN_CFLAGS += $(CONFIG_SERIAL_IO)
10 #KERN_CFLAGS += $(CONFIG_BSD_ON_CORE0)
11 # Enabling this can cause userspace to make the kernel panic.
12 #KERN_CFLAGS += $(CONFIG_SEQLOCK_DEBUG)
13 #KERN_CFLAGS += $(CONFIG_SPINLOCK_DEBUG)
14 #KERN_CFLAGS += $(CONFIG_PAGE_COLORING)
15 #KERN_CFLAGS += $(CONFIG_APPSERVER)
16 #KERN_CFLAGS += $(CONFIG_DEMAND_PAGING)
17 #KERN_CFLAGS += $(CONFIG_NOMTRRS)
18 #KERN_CFLAGS += $(CONFIG_E1000_MMIO_HACK)
19 #KERN_CFLAGS += $(CONFIG_E1000_ON_BOXBORO)
20 #KERN_CFLAGS += $(CONFIG_E1000_ON_S142)
21 #KERN_CFLAGS += $(CONFIG_DISABLE_MPTABLES)
22 #KERN_CFLAGS += $(CONFIG_EXPER_TRADPROC)
23 #KERN_CFLAGS += $(CONFIG_MONITOR_ON_INT)
24 #KERN_CFLAGS += $(CONFIG_DISABLE_SMT)
25 #KERN_CFLAGS += $(CONFIG_BOXBORO)
26
27 #KERN_CFLAGS += -DDEVELOPER_NAME=waterman
28 #KERN_CFLAGS += -DDEVELOPER_NAME=brho
29 # This manager runs the OSDI microbenchmarks from KFS
30 #KERN_CFLAGS += -DDEVELOPER_NAME=tests
31
32 # Userspace configuration parameters
33 #USER_CFLAGS += $(CONFIG_SYSCALL_TRAP)
34 #USER_CFLAGS += $(CONFIG_USER_DEBUGINFO)
35
36 # User tests configuration parameters
37 #TESTS_CFLAGS += $(CONFIG_STATIC_APPS)
38
39 # Default for sparc (i.e. needs an appserver)
40 ifeq ($(TARGET_ARCH),sparc)
41 KERN_CFLAGS += $(CONFIG_APPSERVER)
42 KERN_CFLAGS += -DDEVELOPER_NAME=waterman
43 endif
44
45 x86:
46         $(MAKE) TARGET_ARCH=i686
47
48 ramp:
49         $(MAKE) TARGET_ARCH=sparc
50
51 # various sparc functional simulator configurations
52 NP ?= 1
53 fs: all
54         sparc_app -p$(NP) -fappserver_ros.conf fs obj/kern/kernel none
55 fsd: all
56         sparc_app_debug -p$(NP) -fappserver_ros.conf fs obj/kern/kernel none
57 hw: all
58         sparc_app -p$(NP) -fappserver_ros.conf hw obj/kern/kernel none
59
60 .PHONY: fs fsd hw