defaults/amd64/Makefile.config

   1 # Platform
   2 PLATFORM = amd64
   3
   4 # Kernel memory model
   5 MEMORY_MODEL = kernel
   6
   7 # Ramdisk format
   8 RDFMT = ext4fs
   9
  10 # Compiler
  11 COMPILER = gcc_cross
  12
  13 # In case compiler is clang, whether or not to use its integrated assembler.
  14 INTEGRATED_AS = default
  15
  16 # Debug build
  17 CONFIG_DEBUG = y
  18
  19 # Deadlock detection support for spinlocks
  20 CONFIG_DEBUG_SPINLOCK = y
  21
  22 # Support for SMP
  23 CONFIG_SMP = y
  24
  25 # Lazy FPU context switching
  26 CONFIG_FPU_LAZY = y
  27
  28 # Support for userspace debuggers
  29 CONFIG_UDEBUG = y
  30
  31 # Kernel console support
  32 CONFIG_KCONSOLE = y
  33
  34 # Kernel symbol information
  35 CONFIG_SYMTAB = y
  36
  37 # Detailed kernel logging
  38 CONFIG_LOG = n
  39
  40 # Kernel function tracing
  41 CONFIG_TRACE = n
  42
  43 # Compile kernel tests
  44 CONFIG_TEST = y
  45
  46 # Input device class
  47 CONFIG_HID_IN = generic
  48
  49 # Output device class
  50 CONFIG_HID_OUT = generic
  51
  52 # PC keyboard support
  53 CONFIG_PC_KBD = y
  54
  55 # EGA support
  56 CONFIG_EGA = y
  57
  58 # Framebuffer support
  59 CONFIG_FB = y
  60
  61 # Default framebuffer mode
  62 CONFIG_BFB_MODE = 1024x768
  63
  64 # Default framebuffer depth
  65 CONFIG_BFB_BPP = 16
  66
  67 # Include userspace unit tests (PCUT)
  68 CONFIG_PCUT_TESTS = y
  69
  70 # Include development files (headers, libraries)
  71 CONFIG_DEVEL_FILES = y
  72
  73 # OHCI root hub power switch, ganged is enough
  74 OHCI_POWER_SWITCH = ganged
  75
  76 # GRUB boot loader architecture
  77 GRUB_ARCH = pc
  78
  79 # Optimization level
  80 OPTIMIZATION = 3