diff options
| author | Kees Cook <keescook@chromium.org> | 2018-01-03 10:18:01 -0800 |
|---|---|---|
| committer | Ben Hutchings <ben@decadent.org.uk> | 2018-01-07 01:46:54 +0000 |
| commit | b0b7893b1cde5b0121a7d9a619426a93f3026e27 (patch) | |
| tree | e0eb3adb171a9ff17faa4057e89b4fab1a95d76a /scripts/Makefile.help | |
| parent | 108ec7a7d73e90db280f14581ccddc6f9c928bff (diff) | |
| download | linux-b0b7893b1cde5b0121a7d9a619426a93f3026e27.tar.gz linux-b0b7893b1cde5b0121a7d9a619426a93f3026e27.tar.bz2 linux-b0b7893b1cde5b0121a7d9a619426a93f3026e27.zip | |
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>
[bwh: Backported to 3.2: adjust context]
Signed-off-by: Ben Hutchings <ben@decadent.org.uk>
Diffstat (limited to 'scripts/Makefile.help')
0 files changed, 0 insertions, 0 deletions