kernel/fiasco/src/templates/globalconfig.out.arm-a9-mp-vexpress-1

   1 #
   2 # Automatically generated file; DO NOT EDIT.
   3
   4 #
   5 # Target configuration
   6 #
   7 # CONFIG_IA32 is not set
   8 # CONFIG_AMD64 is not set
   9 CONFIG_ARM=y
  10 # CONFIG_PPC32 is not set
  11 # CONFIG_SPARC is not set
  12 # CONFIG_PF_IMX is not set
  13 CONFIG_PF_REALVIEW=y
  14 # CONFIG_PF_S3C2410 is not set
  15 # CONFIG_PF_TEGRA is not set
  16 # CONFIG_PF_OMAP is not set
  17 # CONFIG_PF_XSCALE is not set
  18 # CONFIG_PF_SA1100 is not set
  19 # CONFIG_PF_EXYNOS is not set
  20 # CONFIG_PF_KIRKWOOD is not set
  21 # CONFIG_PF_INTEGRATOR is not set
  22 # CONFIG_PF_BCM2835 is not set
  23 CONFIG_BSP_NAME="realview"
  24 # CONFIG_PF_REALVIEW_EB is not set
  25 # CONFIG_PF_REALVIEW_PB11MP is not set
  26 # CONFIG_PF_REALVIEW_PBX is not set
  27 CONFIG_PF_REALVIEW_VEXPRESS=y
  28 CONFIG_PF_REALVIEW_VEXPRESS_A9=y
  29 # CONFIG_PF_REALVIEW_RAM_PHYS_BASE_0x0 is not set
  30 CONFIG_PF_REALVIEW_RAM_PHYS_BASE_0x6=y
  31 CONFIG_PF_REALVIEW_RAM_PHYS_BASE=0x60000000
  32 CONFIG_ABI_VF=y
  33 CONFIG_PF_ARM_MP_CAPABLE=y
  34 CONFIG_CAN_ARM_CPU_CORTEX_A9=y
  35 CONFIG_CAN_ARM_CPU_CORTEX_A15=y
  36 CONFIG_ARM_CORTEX_A9=y
  37 # CONFIG_ARM_CORTEX_A15 is not set
  38 CONFIG_ARM_ALIGNMENT_CHECK=y
  39 CONFIG_ARM_EM_STD=y
  40 # CONFIG_ARM_EM_NS is not set
  41 # CONFIG_ARM_EM_TZ is not set
  42 # CONFIG_ARM_ENABLE_SWP is not set
  43 CONFIG_FPU=y
  44 CONFIG_ARM_CPU_ERRATA=y
  45
  46 #
  47 # Kernel options
  48 #
  49 CONFIG_MP=y
  50 CONFIG_MP_MAX_CPUS=9
  51 CONFIG_CONTEXT_4K=y
  52 # CONFIG_FINE_GRAINED_CPUTIME is not set
  53 CONFIG_SCHED_FIXED_PRIO=y
  54 # CONFIG_SCHED_WFQ is not set
  55 # CONFIG_SCHED_FP_WFQ is not set
  56 # CONFIG_DISABLE_VIRT_OBJ_SPACE is not set
  57 CONFIG_VIRT_OBJ_SPACE=y
  58
  59 #
  60 # Debugging
  61 #
  62 CONFIG_INLINE=y
  63 # CONFIG_NDEBUG is not set
  64 CONFIG_NO_FRAME_PTR=y
  65 # CONFIG_STACK_DEPTH is not set
  66 # CONFIG_LIST_ALLOC_SANITY is not set
  67 CONFIG_SERIAL=y
  68 CONFIG_JDB=y
  69 CONFIG_JDB_LOGGING=y
  70 # CONFIG_JDB_DISASM is not set
  71 # CONFIG_JDB_GZIP is not set
  72 # CONFIG_VMEM_ALLOC_TEST is not set
  73 # CONFIG_DEBUG_KERNEL_PAGE_FAULTS is not set
  74 # CONFIG_WARN_NONE is not set
  75 CONFIG_WARN_WARNING=y
  76 # CONFIG_WARN_ANY is not set
  77
  78 #
  79 # Compiling
  80 #
  81 CONFIG_CC="gcc"
  82 CONFIG_CXX="g++"
  83 CONFIG_HOST_CC="gcc"
  84 CONFIG_HOST_CXX="g++"
  85 # CONFIG_MAINTAINER_MODE is not set
  86 CONFIG_LABEL=""
  87 CONFIG_EXPERIMENTAL=y
  88 CONFIG_PERF_CNT=y
  89 CONFIG_BIT32=y
  90 CONFIG_ARM_V7=y
  91 CONFIG_ARM_V6PLUS=y
  92 CONFIG_WARN_LEVEL=1
  93 CONFIG_XARCH="arm"
  94 CONFIG_ABI="vf"