defaults/arm32/Makefile.config

   1 # Platform
   2 PLATFORM = arm32
   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 # Support for userspace debuggers
  17 CONFIG_UDEBUG = y
  18
  19 # Kernel console support
  20 CONFIG_KCONSOLE = y
  21
  22 # Kernel symbol information
  23 CONFIG_SYMTAB = y
  24
  25 # Detailed kernel logging
  26 CONFIG_LOG = n
  27
  28 # Kernel function tracing
  29 CONFIG_TRACE = n
  30
  31 # Compile kernel tests
  32 CONFIG_TEST = y
  33
  34 # Kernel RCU implementation
  35 RCU = PREEMPT_A
  36
  37 # What is your input device?
  38 CONFIG_HID_IN = generic
  39
  40 # What is your output device?
  41 CONFIG_HID_OUT = generic
  42
  43 # Optimization level
  44 OPTIMIZATION = 3