1 # default config. While this is x86 specific, when config'd for RISCV, the x86
2 # specific items will be ignored.
11 # CONFIG_PCI_VERBOSE is not set
12 # CONFIG_NOFASTCALL_FSBASE is not set
18 # CONFIG_KB_CORE0_ONLY is not set
21 # CONFIG_ETH_AUDIO is not set
26 # CONFIG_E1000 is not set
27 # CONFIG_RL8168 is not set
28 # CONFIG_NE2K is not set
34 CONFIG_KFS_PATHS="kern/kfs"
35 CONFIG_KFS_CPIO_BIN=""
36 # CONFIG_EXT2FS is not set
41 # CONFIG_DEMAND_PAGING is not set
42 # CONFIG_PAGE_COLORING is not set
47 # CONFIG_SPINLOCK_DEBUG is not set
48 # CONFIG_SEQLOCK_DEBUG is not set
50 # CONFIG_KTHREAD_POISON is not set
51 # CONFIG_DISABLE_SMT is not set
52 # CONFIG_PRINTK_NO_BACKSPACE is not set
57 # CONFIG_ARSC_SERVER is not set
58 # CONFIG_APPSERVER is not set
59 # CONFIG_SERIAL_IO is not set
60 # CONFIG_SINGLE_CORE is not set
61 # CONFIG_BSD_ON_CORE0 is not set