# This file is part of the OpenADK project. OpenADK is copyrighted
# material, please see the LICENCE file in the top-level directory.

# global symbols
config ADK_LINUX_64
	bool

config ADK_TARGET_KERNEL_64
	bool

config ADK_TOOLCHAIN_ONLY
	bool

config ADK_TARGET_TOOLCHAIN
	bool

config ADK_TARGET_UCLINUX
	bool
	select ADK_PACKAGE_SASH
	select ADK_PACKAGE_SIMPLEINIT

config ADK_TARGET_QEMU
	bool
	select ADK_TARGET_WITH_SERIAL

config ADK_TARGET_VBOX
	bool

# the inverse of ADK_TARGET_KERNEL_CUSTOMISING,
# allows for selecting it off (i.e., to disable it)
config ADK_TARGET_FIXED_KERNEL
	bool

config ADK_TARGET_KERNEL_CUSTOMISING
	bool
	depends on !ADK_TARGET_FIXED_KERNEL
	default y

choice
prompt "Toolchain options"
depends on ADK_TARGET_TOOLCHAIN
config ADK_TOOLCHAIN_ONLY
	bool "Only build toolchain and selected packages"

config ADK_TOOLCHAIN_ARCHIVE
	bool "Build a complete system usable f.e. via chroot"

endchoice

source "target/config/Config.in.tools"