--- /dev/null
+mainmenu "OpenBIOS Configuration"
+
+config IPF
+ bool
+ default y
+ help
+ Building for IPF hardware.
+
+config LITTLE_ENDIAN
+ bool
+ default y
+ help
+ IPF is little endian.
+
+menu "Build hosted UNIX Binary"
+source "arch/unix/Kconfig"
+endmenu
+
+source "kernel/Kconfig"
+source "forth/Kconfig"
+source "libopenbios/Kconfig"
+source "drivers/Kconfig"