kernel/fiasco/src/templates/globalconfig.out.amd64-mp

   1 CONFIG_AMD64=y
   2 CONFIG_AMD64_CORE_I=y
   3 CONFIG_CPU_VIRT=y
   4 CONFIG_MP=y
   5 CONFIG_SCHED_WFQ=y
   6 CONFIG_STACK_DEPTH=y
   7 # CONFIG_WATCHDOG is not set
   8 CONFIG_JDB_LOGGING=y
   9 CONFIG_JDB_MISC=y
  10 CONFIG_MAINTAINER_MODE=y
  11 CONFIG_EXPERIMENTAL=y