l4/mk/defconfig/config.ppc32

   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=y
   9 # CONFIG_BUILD_ARCH_sparc is not set
  10 CONFIG_BUILD_ARCH="ppc32"
  11 CONFIG_BUILD_ABI_l4f=y
  12 CONFIG_BUILD_ABI="l4f"
  13 CONFIG_CPU="603e"
  14
  15 #
  16 # Platform
  17 #
  18 CONFIG_PLATFORM_PPC_mpc5200=y
  19 CONFIG_PPC_PLATFORM_TYPE="mpc5200"
  20 # CONFIG_USE_DROPS_STDDIR is not set
  21 # CONFIG_USE_DICE is not set
  22 CONFIG_BID_COLORED_PHASES=y
  23
  24 #
  25 # Building
  26 #
  27 CONFIG_YACC="yacc"
  28 CONFIG_LEX="flex"
  29 CONFIG_CTAGS="ctags"
  30 CONFIG_ETAGS="etags"
  31 CONFIG_HAVE_LDSO=y
  32 CONFIG_INT_CPP_NAME_SWITCH=y
  33 CONFIG_INT_LD_NAME_SWITCH=y
  34 # CONFIG_BID_STRIP_PROGS is not set
  35 # CONFIG_BID_GCC_OMIT_FP is not set
  36 # CONFIG_BID_GENERATE_MAPFILE is not set
  37 # CONFIG_BID_BUILD_DOC is not set
  38 # CONFIG_RELEASE_MODE is not set
  39 CONFIG_LABEL="ppc32"