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 | |
| parent | e5ef5e656688ed1b8c4a5e6519c53e797961fb4a (diff) | |
dashboard: enable CONFIG_PAGE_TABLE_CHECK on Linux targets
Diffstat (limited to 'dashboard/config')
15 files changed, 30 insertions, 14 deletions
diff --git a/dashboard/config/linux/bits/debug.yml b/dashboard/config/linux/bits/debug.yml index e120646cd..eb3a65225 100644 --- a/dashboard/config/linux/bits/debug.yml +++ b/dashboard/config/linux/bits/debug.yml @@ -55,3 +55,5 @@ config: # For context see: https://groups.google.com/g/syzkaller/c/SoydtBd-dYs/m/ns67L4ApAwAJ - VIRT_CPU_ACCOUNTING_GEN - CONTEXT_TRACKING_FORCE: [-v6.1] + - PAGE_TABLE_CHECK: [v5.17, -s390, -arm, -timeouts_emu] + - PAGE_TABLE_CHECK_ENFORCED: [v5.17, -s390, -arm, -timeouts_emu] diff --git a/dashboard/config/linux/stable-6.1-arm64-kasan-base.config b/dashboard/config/linux/stable-6.1-arm64-kasan-base.config index c81d01add..07ff0913c 100644 --- a/dashboard/config/linux/stable-6.1-arm64-kasan-base.config +++ b/dashboard/config/linux/stable-6.1-arm64-kasan-base.config @@ -10237,7 +10237,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 diff --git a/dashboard/config/linux/stable-6.1-arm64-kasan.config b/dashboard/config/linux/stable-6.1-arm64-kasan.config index 8960a3a5c..ca39aa958 100644 --- a/dashboard/config/linux/stable-6.1-arm64-kasan.config +++ b/dashboard/config/linux/stable-6.1-arm64-kasan.config @@ -11355,7 +11355,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 diff --git a/dashboard/config/linux/stable-6.1-kasan-base.config b/dashboard/config/linux/stable-6.1-kasan-base.config index fe7eec1e1..152c6acae 100644 --- a/dashboard/config/linux/stable-6.1-kasan-base.config +++ b/dashboard/config/linux/stable-6.1-kasan-base.config @@ -5155,7 +5155,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 diff --git a/dashboard/config/linux/stable-6.1-kasan.config b/dashboard/config/linux/stable-6.1-kasan.config index 74501fb30..94e5a3992 100644 --- a/dashboard/config/linux/stable-6.1-kasan.config +++ b/dashboard/config/linux/stable-6.1-kasan.config @@ -8881,7 +8881,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 diff --git a/dashboard/config/linux/upstream-apparmor-kasan-base.config b/dashboard/config/linux/upstream-apparmor-kasan-base.config index 31e248f27..69c594ffb 100644 --- a/dashboard/config/linux/upstream-apparmor-kasan-base.config +++ b/dashboard/config/linux/upstream-apparmor-kasan-base.config @@ -5187,7 +5187,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 diff --git a/dashboard/config/linux/upstream-apparmor-kasan.config b/dashboard/config/linux/upstream-apparmor-kasan.config index 0181ad6c3..e879e1692 100644 --- a/dashboard/config/linux/upstream-apparmor-kasan.config +++ b/dashboard/config/linux/upstream-apparmor-kasan.config @@ -8940,7 +8940,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 diff --git a/dashboard/config/linux/upstream-arm64-full-base.config b/dashboard/config/linux/upstream-arm64-full-base.config index 018082d47..98e0a19e2 100644 --- a/dashboard/config/linux/upstream-arm64-full-base.config +++ b/dashboard/config/linux/upstream-arm64-full-base.config @@ -10434,7 +10434,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 diff --git a/dashboard/config/linux/upstream-arm64-full.config b/dashboard/config/linux/upstream-arm64-full.config index 8897eb749..8bfb4cfbe 100644 --- a/dashboard/config/linux/upstream-arm64-full.config +++ b/dashboard/config/linux/upstream-arm64-full.config @@ -11528,7 +11528,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 diff --git a/dashboard/config/linux/upstream-selinux-kasan-base.config b/dashboard/config/linux/upstream-selinux-kasan-base.config index 3e9c62f2b..a1cb297cd 100644 --- a/dashboard/config/linux/upstream-selinux-kasan-base.config +++ b/dashboard/config/linux/upstream-selinux-kasan-base.config @@ -5180,7 +5180,8 @@ CONFIG_PAGE_EXTENSION=y # CONFIG_DEBUG_PAGEALLOC is not set # CONFIG_DEBUG_SLAB 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 diff --git a/dashboard/config/linux/upstream-selinux-kasan.config b/dashboard/config/linux/upstream-selinux-kasan.config index adeaf83c1..39bbb5f23 100644 --- a/dashboard/config/linux/upstream-selinux-kasan.config +++ b/dashboard/config/linux/upstream-selinux-kasan.config @@ -8930,7 +8930,8 @@ CONFIG_PAGE_EXTENSION=y # CONFIG_DEBUG_PAGEALLOC is not set # CONFIG_DEBUG_SLAB 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 diff --git a/dashboard/config/linux/upstream-smack-kasan-base.config b/dashboard/config/linux/upstream-smack-kasan-base.config index bc2d342d7..56961f1e9 100644 --- a/dashboard/config/linux/upstream-smack-kasan-base.config +++ b/dashboard/config/linux/upstream-smack-kasan-base.config @@ -5193,7 +5193,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 diff --git a/dashboard/config/linux/upstream-smack-kasan.config b/dashboard/config/linux/upstream-smack-kasan.config index e7520df1e..9fc4fc99e 100644 --- a/dashboard/config/linux/upstream-smack-kasan.config +++ b/dashboard/config/linux/upstream-smack-kasan.config @@ -8944,7 +8944,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 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 diff --git a/dashboard/config/linux/upstream-usb.config b/dashboard/config/linux/upstream-usb.config index 8ef8b5d41..bb3e01ff6 100644 --- a/dashboard/config/linux/upstream-usb.config +++ b/dashboard/config/linux/upstream-usb.config @@ -7843,7 +7843,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 |