defaults/ia32/Makefile.config

   1 # Platform
   2 PLATFORM = ia32
   3
   4 # CPU type
   5 PROCESSOR = pentium4
   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 # ACPI support
  23 CONFIG_ACPI = y
  24
  25 # Support for SMP
  26 CONFIG_SMP = y
  27
  28 # Lazy FPU context switching
  29 CONFIG_FPU_LAZY = y
  30
  31 # Support for userspace debuggers
  32 CONFIG_UDEBUG = y
  33
  34 # Kernel console support
  35 CONFIG_KCONSOLE = y
  36
  37 # Kernel symbol information
  38 CONFIG_SYMTAB = y
  39
  40 # Detailed kernel logging
  41 CONFIG_LOG = n
  42
  43 # Kernel function tracing
  44 CONFIG_TRACE = n
  45
  46 # Compile kernel tests
  47 CONFIG_TEST = y
  48
  49 # Input device class
  50 CONFIG_HID_IN = generic
  51
  52 # Output device class
  53 CONFIG_HID_OUT = generic
  54
  55 # PC keyboard support
  56 CONFIG_PC_KBD = y
  57
  58 # EGA support
  59 CONFIG_EGA = y
  60
  61 # Framebuffer support
  62 CONFIG_FB = y
  63
  64 # Default framebuffer mode
  65 CONFIG_BFB_MODE = 1024x768
  66
  67 # Default framebuffer depth
  68 CONFIG_BFB_BPP = 16
  69
  70 # Dynamic linking support
  71 CONFIG_RTLD = y
  72
  73 # Build shared libraries
  74 CONFIG_BUILD_SHARED_LIBS = y
  75
  76 # Link against shared libraries
  77 CONFIG_USE_SHARED_LIBS = y
  78
  79 # Include development files (headers, libraries)
  80 CONFIG_DEVEL_FILES = y
  81
  82 # OHCI root hub power switch, ganged is enough
  83 OHCI_POWER_SWITCH = ganged
  84
  85 # GRUB boot loader architecture
  86 GRUB_ARCH = pc
  87
  88 # Optimization level
  89 OPTIMIZATION = 3