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_X86=y
   5
   6 #
   7 # x86 Hacks
   8 #
   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
  13 CONFIG_NETWORKING=y
  14 CONFIG_SOCKET=y
  15 # CONFIG_ETH_AUDIO is not set
  16
  17 #
  18 # Drivers
  19 #
  20 # CONFIG_E1000 is not set
  21 # CONFIG_RL8168 is not set
  22 # CONFIG_NE2K is not set
  23
  24 #
  25 # Filesystems
  26 #
  27 CONFIG_KFS=y
  28 CONFIG_KFS_PATHS="kern/kfs"
  29 CONFIG_KFS_CPIO_BIN=""
  30 # CONFIG_EXT2FS is not set
  31
  32 #
  33 # Memory Management
  34 #
  35 # CONFIG_DEMAND_PAGING is not set
  36 # CONFIG_PAGE_COLORING 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_RESET_STACKS=y
  44 # CONFIG_KTHREAD_POISON is not set
  45 # CONFIG_DISABLE_SMT is not set
  46 # CONFIG_PRINTK_NO_BACKSPACE is not set
  47
  48 #
  49 # Misc/Old Options
  50 #
  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