l4/mk/defconfig/config.arm-rv

   1 #
   2 # Automatically generated make config: don't edit
   3 # L4Re Configuration
   4 #
   5 # CONFIG_BUILD_ARCH_x86 is not set
   6 # CONFIG_BUILD_ARCH_amd64 is not set
   7 CONFIG_BUILD_ARCH_arm=y
   8 # CONFIG_BUILD_ARCH_ppc32 is not set
   9 # CONFIG_BUILD_ARCH_sparc is not set
  10 CONFIG_BUILD_ARCH="arm"
  11 CONFIG_BUILD_ABI_l4f=y
  12 CONFIG_BUILD_ABI="l4f"
  13 CONFIG_CPU="armv5te"
  14 # CONFIG_CPU_ARM_ARMV4 is not set
  15 # CONFIG_CPU_ARM_ARMV4T is not set
  16 # CONFIG_CPU_ARM_ARMV5 is not set
  17 # CONFIG_CPU_ARM_ARMV5T is not set
  18 CONFIG_CPU_ARM_ARMV5TE=y
  19 # CONFIG_CPU_ARM_ARMV6 is not set
  20 # CONFIG_CPU_ARM_ARMV6T2 is not set
  21 # CONFIG_CPU_ARM_ARMV6ZK is not set
  22 # CONFIG_CPU_ARM_ARMV7A is not set
  23 # CONFIG_CPU_ARM_ARMV7R is not set
  24
  25 #
  26 # Platform
  27 #
  28 # CONFIG_PLATFORM_ARM_integrator is not set
  29 CONFIG_PLATFORM_ARM_rv=y
  30 # CONFIG_PLATFORM_ARM_imx21 is not set
  31 # CONFIG_PLATFORM_ARM_imx51 is not set
  32 # CONFIG_PLATFORM_ARM_omap3evm is not set
  33 # CONFIG_PLATFORM_ARM_beagleboard is not set
  34 # CONFIG_PLATFORM_ARM_pandaboard is not set
  35 # CONFIG_PLATFORM_ARM_tegra2 is not set
  36 # CONFIG_PLATFORM_ARM_custom is not set
  37 CONFIG_ARM_PLATFORM_TYPE="rv"
  38 CONFIG_RAM_BASE=0x0
  39 CONFIG_RAM_SIZE_MB=256
  40 # CONFIG_USE_DROPS_STDDIR is not set
  41 # CONFIG_USE_DICE is not set
  42 CONFIG_BID_COLORED_PHASES=y
  43
  44 #
  45 # Building
  46 #
  47 CONFIG_YACC="yacc"
  48 CONFIG_LEX="flex"
  49 CONFIG_CTAGS="ctags"
  50 CONFIG_ETAGS="etags"
  51 CONFIG_HAVE_LDSO=y
  52 CONFIG_INT_CPP_NAME_SWITCH=y
  53 CONFIG_INT_LD_NAME_SWITCH=y
  54 # CONFIG_BID_STRIP_PROGS is not set
  55 # CONFIG_BID_GCC_OMIT_FP is not set
  56 # CONFIG_BID_GENERATE_MAPFILE is not set
  57 # CONFIG_BID_BUILD_DOC is not set
  58 # CONFIG_RELEASE_MODE is not set
  59 CONFIG_LABEL=""