l4/mk/defconfig/config.arm-rv

   1 #
   2 # Automatically generated file; DO NOT 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 # CONFIG_PLATFORM_TYPE_beagleboard is not set
  25 # CONFIG_PLATFORM_TYPE_exynos4 is not set
  26 # CONFIG_PLATFORM_TYPE_exynos5 is not set
  27 # CONFIG_PLATFORM_TYPE_imx21 is not set
  28 # CONFIG_PLATFORM_TYPE_imx35 is not set
  29 # CONFIG_PLATFORM_TYPE_imx51 is not set
  30 # CONFIG_PLATFORM_TYPE_imx6 is not set
  31 # CONFIG_PLATFORM_TYPE_integrator is not set
  32 # CONFIG_PLATFORM_TYPE_kirkwood is not set
  33 # CONFIG_PLATFORM_TYPE_omap3_am33xx is not set
  34 # CONFIG_PLATFORM_TYPE_omap3evm is not set
  35 # CONFIG_PLATFORM_TYPE_pandaboard is not set
  36 # CONFIG_PLATFORM_TYPE_rpi_a is not set
  37 # CONFIG_PLATFORM_TYPE_rpi_b is not set
  38 CONFIG_PLATFORM_TYPE_rv=y
  39 # CONFIG_PLATFORM_TYPE_rv_pbx is not set
  40 # CONFIG_PLATFORM_TYPE_rv_vexpress is not set
  41 # CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set
  42 # CONFIG_PLATFORM_TYPE_tegra2 is not set
  43 # CONFIG_PLATFORM_TYPE_custom is not set
  44 CONFIG_PLATFORM_TYPE="rv"
  45 # CONFIG_USE_DROPS_STDDIR is not set
  46 # CONFIG_USE_DICE is not set
  47 CONFIG_BID_COLORED_PHASES=y
  48
  49 #
  50 # Building
  51 #
  52 CONFIG_YACC="yacc"
  53 CONFIG_LEX="flex"
  54 CONFIG_CTAGS="ctags"
  55 CONFIG_ETAGS="etags"
  56 CONFIG_HAVE_LDSO=y
  57 CONFIG_INT_CPP_NAME_SWITCH=y
  58 CONFIG_INT_LD_NAME_SWITCH=y
  59 # CONFIG_BID_STRIP_PROGS is not set
  60 # CONFIG_BID_GCC_OMIT_FP is not set
  61 # CONFIG_BID_GENERATE_MAPFILE is not set
  62 # CONFIG_BID_BUILD_DOC is not set
  63 # CONFIG_RELEASE_MODE is not set
  64 CONFIG_MAKECONFS_ADD=""