--- /dev/null
+mainmenu "OpenBIOS Configuration"
+
+config X86
+ bool
+ default y
+ help
+ Building for X86 hardware.
+
+config LITTLE_ENDIAN
+ bool
+ default y
+ help
+ X86 is little endian
+
+menu "Kernel binaries (x86)"
+
+config IMAGE_ELF
+ bool "ELF image (for LinuxBIOS)"
+ default y
+ help
+ Build a simple elf image that can be used with LinuxBIOS
+ This image will be called openbios.elf
+
+config IMAGE_ELF_EMBEDDED
+ bool "ELF image with embedded dictionary"
+ default y
+ help
+ Build an elf image with embedded dictionary. This image
+ can easily be used with etherboot.
+ The image filename is openbios.full
+
+config IMAGE_ELF_MULTIBOOT
+ bool "Multiboot image"
+ default y
+ help
+ Build a multiboot image for booting with grub
+
+endmenu
+
+menu "Build hosted UNIX Binary"
+source "arch/unix/Kconfig"
+endmenu
+
+source "kernel/Kconfig"
+source "forth/Kconfig"
+source "libopenbios/Kconfig"
+source "drivers/Kconfig"