From d2278292ccf4340913ac6982961e0f011e077a3a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Beno=C3=AEt=2ES?= <benpro@benpro.fr>
Date: Thu, 11 Jan 2018 14:45:12 +0100
Subject: [PATCH] Diffrent test for Jessie kernel

---
 evocheck.sh | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/evocheck.sh b/evocheck.sh
index 97008ab..46982cb 100755
--- a/evocheck.sh
+++ b/evocheck.sh
@@ -712,10 +712,16 @@ if [ -e /etc/debian_version ]; then
             kernelPath=$(grep -Eo 'BOOT_IMAGE=[^ ]+' /proc/cmdline | cut -d= -f2)
             kernelVer=${kernelPath##*/vmlinuz-}
             kernelConfig="config-${kernelVer}"
-            grep -Eq '^(CONFIG_PAGE_TABLE_ISOLATION|CONFIG_KAISER)=y' /boot/$kernelConfig || echo 'IS_MELTDOWN FAILED!'
+            grep -Eq '^(CONFIG_PAGE_TABLE_ISOLATION|CONFIG_KAISER)=y' "/boot/${kernelConfig}" \
+              || echo 'IS_MELTDOWN FAILED!'
         fi
         # We check if the running kernel has kaiser loaded
-        grep '^flags' /proc/cpuinfo | grep -qEw '(kaiser|pti)' || echo 'IS_MELTDOWN FAILED!'
+        if is_debianversion stretch; then
+            grep '^flags' /proc/cpuinfo | grep -qEw '(kaiser|pti)' || echo 'IS_MELTDOWN FAILED!'
+        elif is_debianversion jessie; then
+            dmesg | grep -Eq 'Kernel/User page tables isolation: enabled|Kernel page table isolation enabled' \
+            || echo 'IS_MELTDOWN FAILED!'
+        fi
     fi
 fi