]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/mk/defconfig/config.x86
Inital import
[l4.git] / l4 / mk / defconfig / config.x86
diff --git a/l4/mk/defconfig/config.x86 b/l4/mk/defconfig/config.x86
new file mode 100644 (file)
index 0000000..72ebdda
--- /dev/null
@@ -0,0 +1,51 @@
+#
+# Automatically generated make config: don't edit
+# L4Re version: SVN
+#
+CONFIG_BUILD_ARCH_x86=y
+# CONFIG_BUILD_ARCH_amd64 is not set
+# CONFIG_BUILD_ARCH_arm is not set
+# CONFIG_BUILD_ARCH_ppc32 is not set
+CONFIG_BUILD_ARCH="x86"
+CONFIG_BUILD_ABI_l4f=y
+CONFIG_BUILD_ABI="l4f"
+# CONFIG_CPU_X86_GENERIC is not set
+CONFIG_CPU_X86_586=y
+# CONFIG_CPU_X86_PENTIUM is not set
+# CONFIG_CPU_X86_PENTIUMMMX is not set
+# CONFIG_CPU_X86_PENTIUMPRO is not set
+# CONFIG_CPU_X86_686 is not set
+# CONFIG_CPU_X86_PENTIUM2 is not set
+# CONFIG_CPU_X86_PENTIUM3 is not set
+# CONFIG_CPU_X86_PENTIUMM is not set
+# CONFIG_CPU_X86_PENTIUM4 is not set
+# CONFIG_CPU_X86_PRESCOTT is not set
+# CONFIG_CPU_X86_NOCONA is not set
+# CONFIG_CPU_X86_CORE2 is not set
+# CONFIG_CPU_X86_K6 is not set
+# CONFIG_CPU_X86_K7 is not set
+# CONFIG_CPU_X86_ATHLON4 is not set
+# CONFIG_CPU_X86_K8 is not set
+# CONFIG_CPU_X86_K10 is not set
+# CONFIG_CPU_X86_OPTERON is not set
+CONFIG_CPU="586"
+# CONFIG_USE_DROPS_STDDIR is not set
+# CONFIG_USE_DICE is not set
+CONFIG_BID_COLORED_PHASES=y
+
+#
+# Building
+#
+CONFIG_YACC="yacc"
+CONFIG_LEX="flex"
+CONFIG_CTAGS="ctags"
+CONFIG_ETAGS="etags"
+CONFIG_HAVE_LDSO=y
+CONFIG_INT_CPP_NAME_SWITCH=y
+CONFIG_INT_LD_NAME_SWITCH=y
+# CONFIG_BID_STRIP_PROGS is not set
+# CONFIG_BID_GCC_OMIT_FP is not set
+# CONFIG_BID_GENERATE_MAPFILE is not set
+# CONFIG_BID_BUILD_DOC is not set
+# CONFIG_RELEASE_MODE is not set
+CONFIG_LABEL=""