diff options
Diffstat (limited to 'libre/linux-libre/config.armv7h')
-rw-r--r-- | libre/linux-libre/config.armv7h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/libre/linux-libre/config.armv7h b/libre/linux-libre/config.armv7h index c967af94c..78e9e7da3 100644 --- a/libre/linux-libre/config.armv7h +++ b/libre/linux-libre/config.armv7h @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/arm 4.8.10-gnu-2 Kernel Configuration +# Linux/arm 4.8.12-gnu-1 Kernel Configuration # CONFIG_ARM=y CONFIG_ARM_HAS_SG_CHAIN=y @@ -114,7 +114,6 @@ CONFIG_SRCU=y # CONFIG_TASKS_RCU is not set CONFIG_RCU_STALL_COMMON=y # CONFIG_TREE_RCU_TRACE is not set -# CONFIG_RCU_EXPEDITE_BOOT is not set CONFIG_BUILD_BIN2C=y CONFIG_IKCONFIG=y CONFIG_IKCONFIG_PROC=y |