From 41a718d9718f897b401ae7cf444749bfcc135448 Mon Sep 17 00:00:00 2001
From: Jo Van Bulck <jo.vanbulck@cs.kuleuven.be>
Date: Tue, 1 Oct 2024 15:58:45 +0000
Subject: [PATCH] check_sys: check the driver presence

---
 check_sys.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/check_sys.sh b/check_sys.sh
index 65897e7..63e09aa 100755
--- a/check_sys.sh
+++ b/check_sys.sh
@@ -94,6 +94,8 @@ assert_not_contains "$cpuinfo" "umip"   "not disabled in /proc/cpuinfo"
 
 if [ "$config_x2apic" -eq 0 ]; then
     assert_not_contains "$cpuinfo" "x2apic" "not disabled in /proc/cpuinfo, but config.h defines X2APIC=0"
+else
+    assert_contains "$cpuinfo" "x2apic" "not enabled in /proc/cpuinfo, but config.h defines X2APIC=1"
 fi
 end_check
 
@@ -105,3 +107,9 @@ if [[ $cpuinfo =~ "cpu_meltdown" ]]; then
 fi
 end_check
 
+############################################################################
+start_check "SGX-Step driver"
+lkms=`lsmod`
+assert_contains "$lkms" "sgx_step" "kernel module not loaded; try \`cd kernel; make load\`"
+end_check
+