Merge pull request #265 from sched-ext/ci-enable-kvm

ci: enable kvm support in the github workflow

.github/workflows/build-scheds.yml

@@ -61,5 +61,11 @@ jobs:
       # debugging purposes)
       - run: grep 'model name' /proc/cpuinfo | head -1
 
+      # Setup KVM support
+      - run: |
+          echo 'KERNEL=="kvm", GROUP="kvm", MODE="0666", OPTIONS+="static_node=kvm"' | sudo tee /etc/udev/rules.d/99-kvm4all.rules
+          sudo udevadm control --reload-rules
+          sudo udevadm trigger --name-match=kvm
+
       # Test schedulers
       - run: meson compile -C build test_sched

meson-scripts/test_sched

@@ -39,14 +39,15 @@ for sched in ${SCHEDULERS}; do
 
     rm -f /tmp/output
     timeout --preserve-status ${GUEST_TIMEOUT} \
-        vng --force-9p --disable-microvm -v -r ${kernel} -- \
+        vng --force-9p -v -r ${kernel} -- \
             "timeout --foreground --preserve-status ${TEST_TIMEOUT} ${sched_path}" \
                 2> >(tee /tmp/output) </dev/null
-        sed -n -e '/\bBUG:/q1' \
-	       -e '/\bWARNING:/q1' \
-	       -e '/\berror\b/Iq1' \
-	       -e '/\bstall/Iq1' \
-	       -e '/\btimeout\b/Iq1' /tmp/output
+        grep -v " Speculative Return Stack Overflow" /tmp/output | \
+            sed -n -e '/\bBUG:/q1' \
+                   -e '/\bWARNING:/q1' \
+                   -e '/\berror\b/Iq1' \
+                   -e '/\bstall/Iq1' \
+                   -e '/\btimeout\b/Iq1'
     res=$?
     if [ ${res} -ne 0 ]; then
         echo "FAIL: ${sched}"