diff options
author | Waldemar Brodkorb <wbx@openadk.org> | 2015-02-19 19:54:14 +0100 |
---|---|---|
committer | Waldemar Brodkorb <wbx@openadk.org> | 2015-02-19 19:54:14 +0100 |
commit | 4f93b213f2d3393fbb0b7ca200988f475e6cef83 (patch) | |
tree | 5f0b47ac6a1cd02c1b5c387cd40dd26f63241c4d /target/linux | |
parent | ee5cb4ea2592e9defa081cf23b704160b364e9b4 (diff) |
cleanup FPU support for ARM targets.
Diffstat (limited to 'target/linux')
-rw-r--r-- | target/linux/config/Config.in.kernel | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/target/linux/config/Config.in.kernel b/target/linux/config/Config.in.kernel index 18b7bdc6f..b303c473d 100644 --- a/target/linux/config/Config.in.kernel +++ b/target/linux/config/Config.in.kernel @@ -173,6 +173,22 @@ menu "Kernel options" config ADK_KERNEL_MMU bool +config ADK_KERNEL_VFP + bool + default y if ADK_TARGET_CPU_WITH_FPU_VFP + +config ADK_KERNEL_VFPv3 + bool + default y if ADK_TARGET_CPU_WITH_FPU_VFP3 + +config ADK_KERNEL_NEON + bool + default y if ADK_TARGET_CPU_WITH_FPU_NEON + +config ADK_KERNEL_MODE_NEON + bool + default y if ADK_TARGET_CPU_WITH_FPU_NEON + config ADK_TARGET_NO_CMDLINE bool "Do not builtin any kernel cmdline" help |