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