defaults/ia64/Makefile.config

   1 # Platform
   2 PLATFORM = ia64
   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 # Lazy FPU context switching
  23 CONFIG_FPU_LAZY = y
  24
  25 # Use VHPT
  26 CONFIG_VHPT = n
  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 # Kernel RCU implementation
  47 RCU = PREEMPT_A
  48
  49 # Input device class
  50 CONFIG_HID_IN = generic
  51
  52 # Output device class
  53 CONFIG_HID_OUT = generic
  54
  55 # Optimization level
  56 OPTIMIZATION = 3