diff options
author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-05-03 19:53:48 -0300 |
---|---|---|
committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-05-03 19:53:48 -0300 |
commit | 4d79d7e2674f89a36e1010ab795fcd861580c85f (patch) | |
tree | da72e09842cbada48a3c2a84816de44fac3642b2 /kernels/linux-libre-rt/config.x86_64 | |
parent | b7cda31a337c2d6d5e6d953d7e75b4b226126905 (diff) |
linux-libre-rt-3.8.10_rt6-1: updating version
Diffstat (limited to 'kernels/linux-libre-rt/config.x86_64')
-rw-r--r-- | kernels/linux-libre-rt/config.x86_64 | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/kernels/linux-libre-rt/config.x86_64 b/kernels/linux-libre-rt/config.x86_64 index 8d48b274f..d4cef655e 100644 --- a/kernels/linux-libre-rt/config.x86_64 +++ b/kernels/linux-libre-rt/config.x86_64 @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86_64 3.8.4 Kernel Configuration +# Linux/x86_64 3.8.10 Kernel Configuration # CONFIG_64BIT=y CONFIG_X86_64=y @@ -5238,6 +5238,8 @@ CONFIG_EDD=m # CONFIG_EDD_OFF is not set CONFIG_FIRMWARE_MEMMAP=y CONFIG_EFI_VARS=y +CONFIG_EFI_VARS_PSTORE=y +# CONFIG_EFI_VARS_PSTORE_DEFAULT_DISABLE is not set CONFIG_DELL_RBU=m CONFIG_DCDBAS=m CONFIG_DMIID=y |