1 # default config. While this is x86 specific, when config'd for RISCV, the x86
2 # specific items will be ignored.
9 # CONFIG_PCI_VERBOSE is not set
10 # CONFIG_NOMTRRS is not set
11 # CONFIG_ENABLE_MPTABLES is not set
12 # CONFIG_KB_CORE0_ONLY is not set
15 # CONFIG_ETH_AUDIO is not set
20 # CONFIG_E1000 is not set
21 # CONFIG_RL8168 is not set
22 # CONFIG_NE2K is not set
28 CONFIG_KFS_PATHS="kern/kfs"
29 CONFIG_KFS_CPIO_BIN=""
30 # CONFIG_EXT2FS is not set
35 # CONFIG_DEMAND_PAGING is not set
36 # CONFIG_PAGE_COLORING is not set
41 # CONFIG_SPINLOCK_DEBUG is not set
42 # CONFIG_SEQLOCK_DEBUG is not set
44 # CONFIG_KTHREAD_POISON is not set
45 # CONFIG_DISABLE_SMT is not set
46 # CONFIG_PRINTK_NO_BACKSPACE is not set
51 # CONFIG_ARSC_SERVER is not set
52 # CONFIG_APPSERVER is not set
53 # CONFIG_SERIAL_IO is not set
54 # CONFIG_SINGLE_CORE is not set
55 # CONFIG_BSD_ON_CORE0 is not set