kconfig

open source bios with linux platform, very good and can be reused.

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 "modules/Kconfig"
source "drivers/Kconfig"