defaults/ppc32/Makefile.config

   1 # Platform
   2 PLATFORM = ppc32
   3
   4 # Ramdisk format
   5 RDFMT = ext4fs
   6
   7 # Compiler
   8 COMPILER = gcc_cross
   9
  10 # In case compiler is clang, whether or not to use its integrated assembler.
  11 INTEGRATED_AS = default
  12
  13 # Lazy FPU context switching
  14 CONFIG_FPU_LAZY = n
  15
  16 # Debug build
  17 CONFIG_DEBUG = y
  18
  19 # Support for userspace debuggers
  20 CONFIG_UDEBUG = y
  21
  22 # Kernel console support
  23 CONFIG_KCONSOLE = y
  24
  25 # Kernel symbol information
  26 CONFIG_SYMTAB = y
  27
  28 # Detailed kernel logging
  29 CONFIG_LOG = n
  30
  31 # Kernel function tracing
  32 CONFIG_TRACE = n
  33
  34 # Compile kernel tests
  35 CONFIG_TEST = y
  36
  37 # Input device class
  38 CONFIG_HID_IN = generic
  39
  40 # Output device class
  41 CONFIG_HID_OUT = generic
  42
  43 # Framebuffer support
  44 CONFIG_FB = y
  45
  46 # OHCI root hub power switch, ganged is enough
  47 OHCI_POWER_SWITCH = ganged
  48
  49 # Optimization level
  50 OPTIMIZATION = 3