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_ENABLE_MPTABLES is not set
  20 # CONFIG_KB_CORE0_ONLY is not set
  21 CONFIG_NETWORKING=y
  22 CONFIG_SOCKET=y
  23 # CONFIG_ETH_AUDIO is not set
  24
  25 #
  26 # Drivers
  27 #
  28 # CONFIG_E1000 is not set
  29 # CONFIG_RL8168 is not set
  30 # CONFIG_NE2K is not set
  31
  32 #
  33 # Filesystems
  34 #
  35 CONFIG_KFS=y
  36 CONFIG_KFS_PATHS="kern/kfs"
  37 CONFIG_KFS_CPIO_BIN=""
  38 # CONFIG_EXT2FS is not set
  39
  40 #
  41 # Memory Management
  42 #
  43 # CONFIG_DEMAND_PAGING is not set
  44 # CONFIG_PAGE_COLORING is not set
  45
  46 #
  47 # Kernel Debugging
  48 #
  49 # CONFIG_SPINLOCK_DEBUG is not set
  50 # CONFIG_SEQLOCK_DEBUG is not set
  51 CONFIG_RESET_STACKS=y
  52 # CONFIG_KTHREAD_POISON is not set
  53 # CONFIG_DISABLE_SMT is not set
  54 # CONFIG_PRINTK_NO_BACKSPACE is not set
  55
  56 #
  57 # Misc/Old Options
  58 #
  59 # CONFIG_ARSC_SERVER is not set
  60 # CONFIG_APPSERVER is not set
  61 # CONFIG_SERIAL_IO is not set
  62 # CONFIG_SINGLE_CORE is not set
  63 # CONFIG_BSD_ON_CORE0 is not set