# 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_TARGET_GENERIC
	bool

config ADK_TARGET_UCLINUX
	bool

config ADK_TARGET_SIM
	bool
	select ADK_TOOLCHAIN_WITH_GDB

config ADK_TARGET_QEMU
	bool
	select ADK_TARGET_WITH_NET
	select ADK_TARGET_WITH_NETDEVICE

config ADK_TARGET_VBOX
	bool
	select ADK_TARGET_WITH_VGA
	select ADK_TARGET_WITH_NET
	select ADK_TARGET_WITH_NETDEVICE

# 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

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