diff options
author | Kees Cook <keescook@chromium.org> | 2018-01-03 10:17:35 -0800 |
---|---|---|
committer | Greg Kroah-Hartman <gregkh@linuxfoundation.org> | 2018-01-05 15:46:35 +0100 |
commit | e71fac01727a9495f08de9db5259089bee311766 (patch) | |
tree | 1bb91de3735ca19ab82ba9be2a8ee2bce0488fff /Makefile | |
parent | 59094faf3f618b2d2b2a45acb916437d611cede6 (diff) |
KPTI: Rename to PAGE_TABLE_ISOLATION
This renames CONFIG_KAISER to CONFIG_PAGE_TABLE_ISOLATION.
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