check_sys: check the driver presence

jovanbulck · Oct 1, 2024 · 41a718d · 41a718d
1 parent c365643
commit 41a718d
Showing 1 changed file with 8 additions and 0 deletions.
diff --git 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
+