diff options
Diffstat (limited to 'kernel-rt/config_64')
| -rw-r--r-- | kernel-rt/config_64 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/kernel-rt/config_64 b/kernel-rt/config_64 index 04db60d..33d780d 100644 --- a/kernel-rt/config_64 +++ b/kernel-rt/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.17 Kernel Configuration # CONFIG_64BIT=y # CONFIG_X86_32 is not set @@ -1269,7 +1269,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 @@ -4910,7 +4911,6 @@ CONFIG_R8187SE=m CONFIG_RTL8192U=m CONFIG_RTL8192E=m CONFIG_R8712U=m -CONFIG_R8712_AP=y CONFIG_RTS_PSTOR=m # CONFIG_RTS_PSTOR_DEBUG is not set CONFIG_RTS5139=m |