diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2023-04-27 19:13:47 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <wp32pw@gmail.com> | 2023-04-28 10:50:53 +0200 |
| commit | 0ea6d3bec87a7847c42db79b1fc5edd22aa0301e (patch) | |
| tree | 1db91422489da8b34191f64fe578954e98de3a29 /dashboard/config/linux/upstream-usb-base.config | |
| parent | e5ef5e656688ed1b8c4a5e6519c53e797961fb4a (diff) | |
dashboard: enable CONFIG_PAGE_TABLE_CHECK on Linux targets
Diffstat (limited to 'dashboard/config/linux/upstream-usb-base.config')
| -rw-r--r-- | dashboard/config/linux/upstream-usb-base.config | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dashboard/config/linux/upstream-usb-base.config b/dashboard/config/linux/upstream-usb-base.config index 891a71ede..1871fa10f 100644 --- a/dashboard/config/linux/upstream-usb-base.config +++ b/dashboard/config/linux/upstream-usb-base.config @@ -5227,7 +5227,8 @@ CONFIG_PAGE_EXTENSION=y CONFIG_SLUB_DEBUG=y # CONFIG_SLUB_DEBUG_ON is not set CONFIG_PAGE_OWNER=y -# CONFIG_PAGE_TABLE_CHECK is not set +CONFIG_PAGE_TABLE_CHECK=y +CONFIG_PAGE_TABLE_CHECK_ENFORCED=y CONFIG_PAGE_POISONING=y # CONFIG_DEBUG_PAGE_REF is not set # CONFIG_DEBUG_RODATA_TEST is not set |