diff options
Diffstat (limited to 'target/linux/config/Config.in.kernel')
-rw-r--r-- | target/linux/config/Config.in.kernel | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/target/linux/config/Config.in.kernel b/target/linux/config/Config.in.kernel index 68dfae242..81f7cedeb 100644 --- a/target/linux/config/Config.in.kernel +++ b/target/linux/config/Config.in.kernel @@ -175,6 +175,10 @@ endchoice menu "Kernel options" +config ADK_KERNEL_BINFMT_FLAT + bool + default y if ADK_TARGET_BINFMT_FLAT + config ADK_KERNEL_MMU bool @@ -184,11 +188,13 @@ config ADK_KERNEL_VFP config ADK_KERNEL_VFPv3 bool - default y if ADK_TARGET_CPU_WITH_FPU_VFP3 + select ADK_KERNEL_VFP + default y if ADK_TARGET_CPU_WITH_FPU_VFPV3 config ADK_KERNEL_VFPv4 bool - default y if ADK_TARGET_CPU_WITH_FPU_VFP4 + select ADK_KERNEL_VFP + default y if ADK_TARGET_CPU_WITH_FPU_VFPV4 config ADK_KERNEL_NEON bool |