parlib: Use better fake mutexes for thread0
[akaros.git] / config-default
1 # default config.  While this is x86 specific, when config'd for RISCV, the x86
2 # specific items will be ignored.
3 #
4 CONFIG_64BIT=y
5 CONFIG_X86=y
6 CONFIG_X86_64=y
7
8 #
9 # x86 Options
10 #
11 # CONFIG_PCI_VERBOSE is not set
12 # CONFIG_NOFASTCALL_FSBASE is not set
13
14 #
15 # x86 Hacks
16 #
17 CONFIG_NOMTRRS=y
18 # CONFIG_KB_CORE0_ONLY is not set
19 CONFIG_NETWORKING=y
20 CONFIG_SOCKET=y
21 # CONFIG_ETH_AUDIO is not set
22
23 #
24 # Drivers
25 #
26 # CONFIG_E1000 is not set
27 # CONFIG_RL8168 is not set
28 # CONFIG_NE2K is not set
29
30 #
31 # Filesystems
32 #
33 CONFIG_KFS=y
34 CONFIG_KFS_PATHS="kern/kfs"
35 CONFIG_KFS_CPIO_BIN=""
36 # CONFIG_EXT2FS is not set
37
38 #
39 # Kernel Debugging
40 #
41 # CONFIG_SPINLOCK_DEBUG is not set
42 # CONFIG_SEQLOCK_DEBUG is not set
43 # CONFIG_DISABLE_SMT is not set
44 # CONFIG_PRINTK_NO_BACKSPACE is not set
45
46 #
47 # Misc/Old Options
48 #
49 # CONFIG_ARSC_SERVER is not set
50 # CONFIG_APPSERVER is not set
51 # CONFIG_SERIAL_IO is not set
52 # CONFIG_SINGLE_CORE is not set
53 # CONFIG_BSD_ON_CORE0 is not set