Makes userspace debuginfo configurable
[akaros.git] / Makelocal.template
1 # General Purpose configuration parameters
2 #CFLAGS += $(CONFIG_APPSERVER)
3
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 += -DDEVELOPER_NAME=waterman
17 #KERN_CFLAGS += -DDEVELOPER_NAME=brho
18
19 # Userspace configuration parameters
20 #USER_CFLAGS += $(CONFIG_SYSCALL_TRAP)
21 #USER_CFLAGS += $(CONFIG_USER_DEBUGINFO)
22
23 # User tests configuration parameters
24 #TESTS_CFLAGS += $(CONFIG_STATIC_APPS)
25
26 # Default for sparc (i.e. needs an appserver)
27 ifeq ($(TARGET_ARCH),sparc)
28 KERN_CFLAGS += $(CONFIG_APPSERVER)
29 KERN_CFLAGS += -DDEVELOPER_NAME=waterman
30 endif
31
32 x86:
33         $(MAKE) TARGET_ARCH=i686
34
35 ramp:
36         $(MAKE) TARGET_ARCH=sparc
37
38 # various sparc functional simulator configurations
39 NP ?= 1
40 fs: all
41         sparc_app -p$(NP) -fappserver_ros.conf fs obj/kern/kernel none
42 fsd: all
43         sparc_app_debug -p$(NP) -fappserver_ros.conf fs obj/kern/kernel none
44 hw: all
45         sparc_app -p$(NP) -fappserver_ros.conf hw obj/kern/kernel none
46
47 .PHONY: fs fsd hw