make risc-v front-end syscalls asynchronous
[akaros.git] / Makelocal.template
1 # General Purpose configuration parameters
2 #CFLAGS += $(CONFIG_APPSERVER)
3 #CFLAGS += $(CONFIG_DEMO_SLAVE)
4
5 # Kernel configuration parameters
6 #KERN_CFLAGS += $(CONFIG_KFS)
7 #KERN_CFLAGS += $(CONFIG_EXT2FS)
8 #KERN_CFLAGS += $(CONFIG_DEDICATED_MONITOR)
9 #KERN_CFLAGS += $(CONFIG_SINGLE_CORE)
10 #KERN_CFLAGS += $(CONFIG_NETWORKING)
11 #KERN_CFLAGS += $(CONFIG_SERIAL_IO)
12 #KERN_CFLAGS += $(CONFIG_BSD_ON_CORE0)
13 # Enabling this can cause userspace to make the kernel panic.
14 #KERN_CFLAGS += $(CONFIG_SEQLOCK_DEBUG)
15 #KERN_CFLAGS += $(CONFIG_SPINLOCK_DEBUG)
16 #KERN_CFLAGS += $(CONFIG_PAGE_COLORING)
17 #KERN_CFLAGS += $(CONFIG_DEMAND_PAGING)
18 #KERN_CFLAGS += $(CONFIG_NOMTRRS)
19 #KERN_CFLAGS += $(CONFIG_E1000_MMIO_HACK)
20 #KERN_CFLAGS += $(CONFIG_E1000_ON_BOXBORO)
21 #KERN_CFLAGS += $(CONFIG_E1000_ON_S142)
22 #KERN_CFLAGS += $(CONFIG_ENABLE_MPTABLES)
23 #KERN_CFLAGS += $(CONFIG_MONITOR_ON_INT)
24 #KERN_CFLAGS += $(CONFIG_DISABLE_SMT)
25 #KERN_CFLAGS += $(CONFIG_BOXBORO)
26 # Enable this to set up ARSC server
27 #KERN_CFLAGS += $(CONFIG_ARSC_SERVER)
28 # Resets stacks in smp_idle(), at the expense of backtrace
29 #KERN_CFLAGS += $(CONFIG_RESET_STACKS)
30 #KERN_CFLAGS += $(CONFIG_PCI_VERBOSE)
31 # Rimas's Ethernet audio device
32 #KERN_CFLAGS += $(CONFIG_ETH_AUDIO)
33 # Avoid KB input on buggy nehalems (brho's machine)
34 #KERN_CFLAGS += $(CONFIG_KB_CORE0_ONLY)
35 #KERN_CFLAGS += $(CONFIG_KTHREAD_POISON)
36 #KERN_CFLAGS += $(CONFIG_PRINTK_NO_BACKSPACE)
37
38 #KERN_CFLAGS += -DDEVELOPER_NAME=waterman
39 #KERN_CFLAGS += -DDEVELOPER_NAME=brho
40
41
42 # Paths for the initramfs (need to be directories)
43 #INITRAMFS_PATHS = kern/kfs obj/tests
44 # Program to execute before building the initramfs
45 #INITRAMFS_BIN = tools/whatever.sh
46 # Image for ext2 (RAM version) (only brho uses this )
47 #EXT2_BDEV = mnt/ext2fs.img
48
49 # Userspace configuration parameters
50 #USER_CFLAGS += $(CONFIG_SYSCALL_TRAP)
51 #USER_CFLAGS += $(CONFIG_USER_DEBUGINFO)
52
53 # User tests configuration parameters
54 #TESTS_CFLAGS += $(CONFIG_STATIC_APPS)
55
56 # Default for sparc (i.e. needs an appserver)
57 ifeq ($(TARGET_ARCH),sparc)
58 KERN_CFLAGS += $(CONFIG_APPSERVER)
59 KERN_CFLAGS += -DDEVELOPER_NAME=waterman
60 endif
61
62 x86:
63         $(MAKE) TARGET_ARCH=i686
64
65 ramp:
66         $(MAKE) TARGET_ARCH=sparc
67
68 riscv:
69         $(MAKE) TARGET_ARCH=riscv
70
71 # various sparc functional simulator configurations
72 NP ?= 1
73 fs: all
74         sparc_app -p$(NP) -fappserver_ros.conf fs obj/kern/kernel none
75 fsd: all
76         sparc_app_debug -p$(NP) -fappserver_ros.conf fs obj/kern/kernel none
77 hw: all
78         sparc_app -p$(NP) -fappserver_ros.conf hw obj/kern/kernel none
79
80 # risc-v functional simulator
81 rvfs: all
82         fesvr -p$(NP) -nopk obj/kern/kernel
83 rvfsd: all
84         fesvr -d -p$(NP) -nopk obj/kern/kernel
85
86 .PHONY: fs fsd hw rvfs rvfsd