diff options
Diffstat (limited to 'target/config')
| -rw-r--r-- | target/config/Config.in | 3 | ||||
| -rw-r--r-- | target/config/Config.in.adk | 7 |
2 files changed, 10 insertions, 0 deletions
diff --git a/target/config/Config.in b/target/config/Config.in index a9f994772..b31113ec5 100644 --- a/target/config/Config.in +++ b/target/config/Config.in @@ -204,6 +204,9 @@ config ADK_TARGET_WITH_DSL config ADK_TARGET_WITH_USB_BOOT boolean +config ADK_TARGET_KERNEL_MAY_64BIT + boolean + # global symbols config ADK_TOOLCHAIN_ONLY boolean diff --git a/target/config/Config.in.adk b/target/config/Config.in.adk index 6c7176bf8..ea139b7ec 100644 --- a/target/config/Config.in.adk +++ b/target/config/Config.in.adk @@ -110,4 +110,11 @@ config ADK_HOST_CYGWIN boolean endchoice + +config ADK_64BIT_KERNEL + prompt "Build a 64bit Kernel" + boolean + default n + depends on ADK_TARGET_KERNEL_MAY_64BIT + endmenu |