diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-09-07 18:21:58 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-09-07 18:21:58 +0200 |
| commit | be20da425029ecd45b18e99fa5f09691ba0658ea (patch) | |
| tree | 0318101dbc4321c10d4f543271a35d78e63cde82 | |
| parent | 69cfeb8078226942de84bce1a91f60d5b632cca4 (diff) | |
dashboard/config: disable CONFIG_HARDENED_USERCOPY_PAGESPAN
See https://groups.google.com/forum/#!msg/syzkaller-bugs/wt3NikTfotQ/UIU_tEjrBAAJ
| -rw-r--r-- | dashboard/config/upstream-kasan.config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dashboard/config/upstream-kasan.config b/dashboard/config/upstream-kasan.config index 7d31418f1..114476d54 100644 --- a/dashboard/config/upstream-kasan.config +++ b/dashboard/config/upstream-kasan.config @@ -5473,7 +5473,7 @@ CONFIG_LSM_MMAP_MIN_ADDR=65536 CONFIG_HAVE_HARDENED_USERCOPY_ALLOCATOR=y CONFIG_HARDENED_USERCOPY=y CONFIG_HARDENED_USERCOPY_FALLBACK=y -CONFIG_HARDENED_USERCOPY_PAGESPAN=y +# CONFIG_HARDENED_USERCOPY_PAGESPAN is not set CONFIG_FORTIFY_SOURCE=y # CONFIG_STATIC_USERMODEHELPER is not set CONFIG_SECURITY_SELINUX=y |