mainmenu "OpenBIOS Configuration"

config PPC
	bool
	default y
	help
	  Building for PPC hardware.

config BIG_ENDIAN
	bool
	default y
	help
	  PPC hardware is big endian (per default)

choice
	prompt "Platform Type"
	default MOL

config MOL
	bool "Mac-on-Linux"
	help
	  Build an image for Mac-on-Linux

config MPC107
	bool "MPC107 board (Crescendo)"
	help
	  Build for Crescendo board.

config BRIQ
	bool "Total Impact briQ"
	help
	  Build an image for the Total Impact briQ

config NO_ARCH
	bool "None"
	help
	  Don't build any images.

endchoice

menu "Build hosted UNIX Binary"
source "arch/unix/Kconfig"
endmenu

source "kernel/Kconfig"
source "forth/Kconfig"
source "libopenbios/Kconfig"
source "drivers/Kconfig"