# 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
	boolean

config ADK_TARGET_KERNEL_64
	boolean

config ADK_TOOLCHAIN_ONLY
	boolean

config ADK_TARGET_TOOLCHAIN
	boolean

config ADK_TARGET_QEMU
	boolean

config ADK_TARGET_VBOX
	boolean

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

config ADK_TARGET_KERNEL_CUSTOMISING
	bool
	default y
	depends on !ADK_TARGET_FIXED_KERNEL

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

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

endchoice

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