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

config ADK_TARGET_SIM
	bool

config ADK_TARGET_QEMU
	bool

config ADK_TARGET_VBOX
	bool

config ADK_TARGET_ARCH_ARM_WITH_THUMB
	bool
	select ADK_KERNEL_ARM_THUMB
	select ADK_KERNEL_THUMB2_KERNEL
	depends on ADK_TARGET_ARCH_ARM

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