diff options
Diffstat (limited to 'kernel/config_64')
| -rw-r--r-- | kernel/config_64 | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/kernel/config_64 b/kernel/config_64 index 293deb3ff..6697784d9 100644 --- a/kernel/config_64 +++ b/kernel/config_64 @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86_64 3.2.1 Kernel Configuration +# Linux/x86_64 3.2.9 Kernel Configuration # CONFIG_64BIT=y # CONFIG_X86_32 is not set @@ -1268,7 +1268,8 @@ CONFIG_NFC_WILINK=m # Generic Driver Options # CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug" -# CONFIG_DEVTMPFS is not set +CONFIG_DEVTMPFS=y +# CONFIG_DEVTMPFS_MOUNT is not set CONFIG_STANDALONE=y CONFIG_PREVENT_FIRMWARE_BUILD=y CONFIG_FW_LOADER=y |