From ee60e28a5add36fb6b55231f8e39f275b5592409 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Beno=C3=AEt=20S?= <bserie@evolix.fr>
Date: Wed, 27 Jun 2018 17:30:18 +0200
Subject: [PATCH] We cannot rely on dmesg

---
 evocheck.sh | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/evocheck.sh b/evocheck.sh
index 53a70a4..0d23dfe 100755
--- a/evocheck.sh
+++ b/evocheck.sh
@@ -718,9 +718,6 @@ if [ -e /etc/debian_version ]; then
         # We check if the running kernel has kaiser loaded
         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