Kernel configuration uses Kconfig
[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 # Akaros/i686 Kernel Configuration
5 #
6 CONFIG_X86=y
7
8 #
9 # x86 Hacks
10 #
11 # CONFIG_PCI_VERBOSE is not set
12 # CONFIG_NOMTRRS is not set
13 # CONFIG_ENABLE_MPTABLES is not set
14 # CONFIG_KB_CORE0_ONLY is not set
15 CONFIG_NETWORKING=y
16 CONFIG_SOCKET=y
17
18 #
19 # Drivers
20 #
21 # CONFIG_E1000 is not set
22 # CONFIG_REALTEK8168 is not set
23 # CONFIG_ETH_AUDIO is not set
24
25 #
26 # Filesystems
27 #
28 CONFIG_KFS=y
29 CONFIG_KFS_PATHS="kern/kfs"
30 CONFIG_KFS_CPIO_BIN=""
31 # CONFIG_EXT2FS is not set
32
33 #
34 # Memory Management
35 #
36 # CONFIG_DEMAND_PAGING is not set
37 # CONFIG_PAGE_COLORING is not set
38
39 #
40 # Kernel Debugging
41 #
42 # CONFIG_SPINLOCK_DEBUG is not set
43 # CONFIG_SEQLOCK_DEBUG is not set
44 CONFIG_RESET_STACKS=y
45 # CONFIG_KTHREAD_POISON is not set
46 # CONFIG_DISABLE_SMT is not set
47 # CONFIG_PRINTK_NO_BACKSPACE is not set
48
49 #
50 # Misc/Old Options
51 #
52 # CONFIG_ARSC_SERVER is not set
53 # CONFIG_APPSERVER is not set
54 # CONFIG_SERIAL_IO is not set
55 # CONFIG_SINGLE_CORE is not set
56 # CONFIG_BSD_ON_CORE0 is not set