l4/mk/defconfig/config.x86

   1 #
   2 # Automatically generated file; DO NOT EDIT.
   3 # L4Re Configuration
   4 #
   5 CONFIG_BUILD_ARCH_x86=y
   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 is not set
  10 CONFIG_BUILD_ARCH="x86"
  11 CONFIG_BUILD_ABI_l4f=y
  12 CONFIG_BUILD_ABI="l4f"
  13 CONFIG_CPU_X86_586=y
  14 # CONFIG_CPU_X86_PENTIUM is not set
  15 # CONFIG_CPU_X86_PENTIUMMMX is not set
  16 # CONFIG_CPU_X86_PENTIUMPRO is not set
  17 # CONFIG_CPU_X86_686 is not set
  18 # CONFIG_CPU_X86_PENTIUM2 is not set
  19 # CONFIG_CPU_X86_PENTIUM3 is not set
  20 # CONFIG_CPU_X86_PENTIUMM is not set
  21 # CONFIG_CPU_X86_PENTIUM4 is not set
  22 # CONFIG_CPU_X86_PRESCOTT is not set
  23 # CONFIG_CPU_X86_NOCONA is not set
  24 # CONFIG_CPU_X86_CORE2 is not set
  25 # CONFIG_CPU_X86_K6 is not set
  26 # CONFIG_CPU_X86_K7 is not set
  27 # CONFIG_CPU_X86_ATHLON4 is not set
  28 # CONFIG_CPU_X86_K8 is not set
  29 # CONFIG_CPU_X86_K10 is not set
  30 # CONFIG_CPU_X86_OPTERON is not set
  31 CONFIG_CPU="586"
  32 CONFIG_PLATFORM_TYPE_pc=y
  33 # CONFIG_PLATFORM_TYPE_custom is not set
  34 CONFIG_PLATFORM_TYPE="pc"
  35 # CONFIG_USE_DROPS_STDDIR is not set
  36 # CONFIG_USE_DICE is not set
  37 CONFIG_BID_COLORED_PHASES=y
  38
  39 #
  40 # Building
  41 #
  42 CONFIG_YACC="yacc"
  43 CONFIG_LEX="flex"
  44 CONFIG_CTAGS="ctags"
  45 CONFIG_ETAGS="etags"
  46 CONFIG_HAVE_LDSO=y
  47 CONFIG_INT_CPP_NAME_SWITCH=y
  48 CONFIG_INT_LD_NAME_SWITCH=y
  49 # CONFIG_BID_STRIP_PROGS is not set
  50 # CONFIG_BID_GCC_OMIT_FP is not set
  51 # CONFIG_BID_GENERATE_MAPFILE is not set
  52 # CONFIG_BID_BUILD_DOC is not set
  53 # CONFIG_RELEASE_MODE is not set
  54 CONFIG_MAKECONFS_ADD=""