l4/mk/defconfig/config.sparc

   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 is not set
   8 # CONFIG_BUILD_ARCH_ppc32 is not set
   9 CONFIG_BUILD_ARCH_sparc=y
  10 CONFIG_BUILD_ARCH="sparc"
  11 CONFIG_BUILD_ABI_l4f=y
  12 CONFIG_BUILD_ABI="l4f"
  13 CONFIG_CPU="v8"
  14 CONFIG_SPARC_PLATFORM_TYPE="leon3"
  15 # CONFIG_USE_DROPS_STDDIR is not set
  16 # CONFIG_USE_DICE is not set
  17 CONFIG_BID_COLORED_PHASES=y
  18
  19 #
  20 # Building
  21 #
  22 CONFIG_YACC="yacc"
  23 CONFIG_LEX="flex"
  24 CONFIG_CTAGS="ctags"
  25 CONFIG_ETAGS="etags"
  26 CONFIG_HAVE_LDSO=y
  27 CONFIG_INT_CPP_NAME_SWITCH=y
  28 CONFIG_INT_LD_NAME_SWITCH=y
  29 # CONFIG_BID_STRIP_PROGS is not set
  30 # CONFIG_BID_GCC_OMIT_FP is not set
  31 # CONFIG_BID_GENERATE_MAPFILE is not set
  32 # CONFIG_BID_BUILD_DOC is not set
  33 # CONFIG_RELEASE_MODE is not set
  34 CONFIG_LABEL=""