From a7923489287a2626590f7cecab7f59ea524641c5 Mon Sep 17 00:00:00 2001 From: Vincent Brillault Date: Mon, 8 Jan 2018 12:54:16 +0100 Subject: [PATCH] RedHat uses a different configuration name --- spectre-meltdown-checker.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spectre-meltdown-checker.sh b/spectre-meltdown-checker.sh index f809e0d..3be2418 100755 --- a/spectre-meltdown-checker.sh +++ b/spectre-meltdown-checker.sh @@ -250,13 +250,13 @@ kpti_can_tell=0 if [ -e /proc/config.gz ]; then # either the running kernel exports his own config kpti_can_tell=1 - if zgrep -q '^CONFIG_PAGE_TABLE_ISOLATION=y' /proc/config.gz; then + if zgrep -q '^\(CONFIG_PAGE_TABLE_ISOLATION=y\|CONFIG_KAISER=y\)' /proc/config.gz; then kpti_support=1 fi elif [ -e /boot/config-$(uname -r) ]; then # or we can find a config file in /root with the kernel release name kpti_can_tell=1 - if grep -q '^CONFIG_PAGE_TABLE_ISOLATION=y' /boot/config-$(uname -r); then + if grep -q '^\(CONFIG_PAGE_TABLE_ISOLATION=y\|CONFIG_KAISER=y\)' /boot/config-$(uname -r); then kpti_support=1 fi fi