diff options
author | Kamal Mostafa <kamal@canonical.com> | 2018-06-29 13:04:21 -0700 |
---|---|---|
committer | Kees Cook <keescook@chromium.org> | 2018-07-02 17:21:26 -0700 |
commit | 6aa56f44253a6dd802e45d8ab1b48847feaf063a (patch) | |
tree | 69d47435c4c3befe430f44c52922a644474695ef /include/linux | |
parent | 7daf201d7fe8334e2d2364d4e8ed3394ec9af819 (diff) |
usercopy: Do not select BUG with HARDENED_USERCOPY
There is no need to "select BUG" when CONFIG_HARDENED_USERCOPY is enabled.
The kernel thread will always die, regardless of the CONFIG_BUG.
Signed-off-by: Kamal Mostafa <kamal@canonical.com>
[kees: tweak commit log]
Signed-off-by: Kees Cook <keescook@chromium.org>
Diffstat (limited to 'include/linux')
0 files changed, 0 insertions, 0 deletions