diff options
author | Kees Cook <keescook@chromium.org> | 2018-01-03 10:18:01 -0800 |
---|---|---|
committer | Greg Kroah-Hartman <gregkh@linuxfoundation.org> | 2018-01-05 15:46:36 +0100 |
commit | ea6cd39d230f71e27facc0667c1986504e5b0f54 (patch) | |
tree | c4d0e75109055c34629f293acd5610500b492e65 /Makefile | |
parent | e71fac01727a9495f08de9db5259089bee311766 (diff) |
KPTI: Report when enabled
Make sure dmesg reports when KPTI is enabled.
Signed-off-by: Kees Cook <keescook@chromium.org>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions