diff options
author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-03-29 21:01:00 -0300 |
---|---|---|
committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-03-29 21:01:00 -0300 |
commit | 987a7879bce21fef1c8cc1472eb89e17853e37f0 (patch) | |
tree | e3fe28e38088525dd8d7bb70d938973fb375b99c /kernels/linux-libre-pae/config | |
parent | 4a7cfa0cc072a22c7844dca6269bf61a3b64b191 (diff) |
linux-libre-{pae,xen}-3.8.5-1: updating version
Diffstat (limited to 'kernels/linux-libre-pae/config')
-rw-r--r-- | kernels/linux-libre-pae/config | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/kernels/linux-libre-pae/config b/kernels/linux-libre-pae/config index 5c13c2571..9f367b509 100644 --- a/kernels/linux-libre-pae/config +++ b/kernels/linux-libre-pae/config @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/i386 3.8.0-2 Kernel Configuration +# Linux/i386 3.8.5-1 Kernel Configuration # # CONFIG_64BIT is not set CONFIG_X86_32=y @@ -5489,6 +5489,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 |