diff options
Diffstat (limited to 'target/config/Config.in')
| -rw-r--r-- | target/config/Config.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/target/config/Config.in b/target/config/Config.in index dcef7ad51..a4c2f9dae 100644 --- a/target/config/Config.in +++ b/target/config/Config.in @@ -26,6 +26,11 @@ config ADK_TARGET_QEMU config ADK_TARGET_VBOX bool +config ADK_TARGET_ARCH_ARM_WITH_THUMB + bool + 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 |