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