diff options
Diffstat (limited to 'target/linux/generic/config-3.7')
| -rw-r--r-- | target/linux/generic/config-3.7 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/target/linux/generic/config-3.7 b/target/linux/generic/config-3.7 index b572515163..c5b6115228 100644 --- a/target/linux/generic/config-3.7 +++ b/target/linux/generic/config-3.7 @@ -616,6 +616,7 @@ CONFIG_DEVPORT=y # CONFIG_DEVTMPFS is not set # CONFIG_DEVTMPFS_MOUNT is not set # CONFIG_DGRP is not set +# CONFIG_DIRECT_IO is not set # CONFIG_DISCONTIGMEM_MANUAL is not set # CONFIG_DISPLAY_SUPPORT is not set # CONFIG_DL2K is not set @@ -2309,6 +2310,7 @@ CONFIG_PRINT_STACK_DEPTH=64 CONFIG_PROC_FS=y # CONFIG_PROC_KCORE is not set # CONFIG_PROC_PAGE_MONITOR is not set +CONFIG_PROC_STRIPPED=y CONFIG_PROC_SYSCTL=y # CONFIG_PROFILE_ALL_BRANCHES is not set # CONFIG_PROFILE_ANNOTATED_BRANCHES is not set |