diff options
Diffstat (limited to 'target/linux/config')
-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 |