linux: config: CONFIG_IKHEADERS (test)

Signed-off-by: Robert Nelson <robertcnelson@gmail.com>
1 year ago · dcccc4ad96
parent 8c50cb7ffd
commit dcccc4ad96
1 changed files with 1 additions and 1 deletions
--- a/patches/linux/mpfs_defconfig
+++ b/patches/linux/mpfs_defconfig
@ -135,7 +135,7 @@ CONFIG_RCU_NEED_SEGCBLIST=y

 CONFIG_IKCONFIG=y
 CONFIG_IKCONFIG_PROC=y
-# CONFIG_IKHEADERS is not set
+CONFIG_IKHEADERS=m
 CONFIG_LOG_BUF_SHIFT=17
 CONFIG_LOG_CPU_MAX_BUF_SHIFT=12
 CONFIG_PRINTK_SAFE_LOG_BUF_SHIFT=13