diff options
Diffstat (limited to 'kernel-armv7hl-debug-fedora.config')
| -rw-r--r-- | kernel-armv7hl-debug-fedora.config | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel-armv7hl-debug-fedora.config b/kernel-armv7hl-debug-fedora.config index 8721df95d..713966bad 100644 --- a/kernel-armv7hl-debug-fedora.config +++ b/kernel-armv7hl-debug-fedora.config @@ -5049,6 +5049,7 @@ CONFIG_PAGE_EXTENSION=y CONFIG_PAGE_OWNER=y CONFIG_PAGE_POISONING=y CONFIG_PAGE_REPORTING=y +CONFIG_PAGE_TABLE_CHECK_ENFORCED=y # CONFIG_PAGE_TABLE_CHECK is not set CONFIG_PALMAS_GPADC=m # CONFIG_PANEL_CHANGE_MESSAGE is not set |