summaryrefslogtreecommitdiff
path: root/target/config/Config.in.archopts
diff options
context:
space:
mode:
Diffstat (limited to 'target/config/Config.in.archopts')
-rw-r--r--target/config/Config.in.archopts21
1 files changed, 17 insertions, 4 deletions
diff --git a/target/config/Config.in.archopts b/target/config/Config.in.archopts
index 03de1768b..fd16981bf 100644
--- a/target/config/Config.in.archopts
+++ b/target/config/Config.in.archopts
@@ -1,9 +1,22 @@
# This file is part of the OpenADK project. OpenADK is copyrighted
# material, please see the LICENCE file in the top-level directory.
+choice
+prompt "Instruction set"
+
+config ADK_TARGET_ARCH_ARM_WITH_ARM
+ bool "arm"
+ depends on ADK_TARGET_WITH_MMU
+
config ADK_TARGET_ARCH_ARM_WITH_THUMB
- bool
- select ADK_KERNEL_ARM_THUMB
- select ADK_KERNEL_THUMB2_KERNEL
- depends on ADK_TARGET_ARCH_ARM
+ bool "thumb"
+ select ADK_KERNEL_ARM_THUMB
+ select ADK_KERNEL_THUMB2_KERNEL
+ depends on ADK_TARGET_CPU_WITH_THUMB || ADK_TARGET_CPU_WITH_THUMB2
+
+endchoice
+config ADK_TARGET_INSTRUCTION_SET
+ string
+ default "arm" if ADK_TARGET_ARCH_ARM_WITH_ARM
+ default "thumb" if ADK_TARGET_ARCH_ARM_WITH_THUMB