defaults/mips32/Makefile.config

   1 # Platform
   2 PLATFORM = mips32
   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 # Debug build
  14 CONFIG_DEBUG = y
  15
  16 # Deadlock detection support for spinlocks
  17 CONFIG_DEBUG_SPINLOCK = y
  18
  19 # Support for SMP
  20 CONFIG_SMP = y
  21
  22 # Support for userspace debuggers
  23 CONFIG_UDEBUG = y
  24
  25 # Kernel console support
  26 CONFIG_KCONSOLE = y
  27
  28 # Kernel symbol information
  29 CONFIG_SYMTAB = y
  30
  31 # Detailed kernel logging
  32 CONFIG_LOG = n
  33
  34 # Kernel function tracing
  35 CONFIG_TRACE = n
  36
  37 # Compile kernel tests
  38 CONFIG_TEST = y
  39
  40 # Input device class
  41 CONFIG_HID_IN = generic
  42
  43 # Output device class
  44 CONFIG_HID_OUT = generic
  45
  46 # Barebone build with essential binaries only
  47 CONFIG_BAREBONE = y
  48
  49 # Optimization level
  50 OPTIMIZATION = 3