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 /tools | |
| parent | 69cfeb8078226942de84bce1a91f60d5b632cca4 (diff) | |
dashboard/config: disable CONFIG_HARDENED_USERCOPY_PAGESPAN
See https://groups.google.com/forum/#!msg/syzkaller-bugs/wt3NikTfotQ/UIU_tEjrBAAJ
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions