Copy the fiasco configuration here. Worked one.

diff --git a/build/l4/fiascoconfig.out b/build/l4/fiascoconfig.out
new file mode 100644 (file)
index 0000000..a124ce6
--- /dev/null
+++ b/build/l4/fiascoconfig.out
@@ -0,0 +1,88 @@
+#
+# Automatically generated file; DO NOT EDIT.
+# Fiasco configuration
+#
+CONFIG_HAS_VIRT_OBJ_SPACE_OPTION=y
+CONFIG_HAS_SERIAL_OPTION=y
+CONFIG_HAS_WATCHDOG_OPTION=y
+CONFIG_HAS_JDB_DISASM_OPTION=y
+CONFIG_HAS_JDB_GZIP_OPTION=y
+CONFIG_HAS_IOMMU_OPTION=y
+CONFIG_HAS_MP_OPTION=y
+CONFIG_HAS_CPU_VIRT=y
+
+#
+# Target configuration
+#
+CONFIG_IA32=y
+# CONFIG_AMD64 is not set
+# CONFIG_ARM is not set
+CONFIG_PF_PC=y
+# CONFIG_PF_UX is not set
+CONFIG_ABI_VF=y
+# CONFIG_IA32_486 is not set
+CONFIG_IA32_586=y
+# CONFIG_IA32_686 is not set
+# CONFIG_IA32_P2 is not set
+# CONFIG_IA32_P3 is not set
+# CONFIG_IA32_P4 is not set
+# CONFIG_IA32_PM is not set
+# CONFIG_IA32_CORE2 is not set
+# CONFIG_IA32_CORE_I is not set
+# CONFIG_IA32_ATOM is not set
+# CONFIG_IA32_K6 is not set
+# CONFIG_IA32_K7 is not set
+# CONFIG_IA32_K8 is not set
+# CONFIG_IA32_K10 is not set
+# CONFIG_CPU_VIRT is not set
+# CONFIG_SCHED_PIT is not set
+# CONFIG_SCHED_RTC is not set
+CONFIG_SCHED_APIC=y
+# CONFIG_WORKAROUND_AMD_FPU_LEAK is not set
+CONFIG_REGPARM3=y
+
+#
+# Kernel options
+#
+# CONFIG_MP is not set
+# CONFIG_CONTEXT_8K is not set
+CONFIG_CONTEXT_4K=y
+# CONFIG_SYNC_TSC is not set
+# CONFIG_FINE_GRAINED_CPUTIME is not set
+CONFIG_SCHED_FIXED_PRIO=y
+# CONFIG_IOMMU is not set
+CONFIG_VIRT_OBJ_SPACE=y
+
+#
+# Debugging
+#
+CONFIG_INLINE=y
+# CONFIG_NDEBUG is not set
+CONFIG_NO_FRAME_PTR=y
+# CONFIG_STACK_DEPTH is not set
+# CONFIG_LIST_ALLOC_SANITY is not set
+# CONFIG_BEFORE_IRET_SANITY is not set
+# CONFIG_IRQ_SPINNER is not set
+CONFIG_WATCHDOG=y
+CONFIG_SERIAL=y
+# CONFIG_JDB is not set
+CONFIG_POWERSAVE_GETCHAR=y
+# CONFIG_WARN_NONE is not set
+# CONFIG_WARN_WARNING is not set
+CONFIG_WARN_ANY=y
+
+#
+# Compiling
+#
+CONFIG_CC="gcc"
+CONFIG_CXX="g++"
+CONFIG_HOST_CC="gcc"
+CONFIG_HOST_CXX="g++"
+# CONFIG_MAINTAINER_MODE is not set
+CONFIG_LABEL=""
+# CONFIG_EXPERIMENTAL is not set
+CONFIG_BIT32=y
+CONFIG_WARN_LEVEL=2
+CONFIG_XARCH="ia32"
+CONFIG_IA32_TARGET="Intel Pentium"
+CONFIG_ABI="vf"