From a16a278556f2e4c41eba9f7d79b774986199bbd8 Mon Sep 17 00:00:00 2001
From: Jim Huang <jserv@ccns.ncku.edu.tw>
Date: Wed, 11 Dec 2024 16:30:39 +0800
Subject: [PATCH] Mark 'syscall-steal' as non-working module

We might have to rework this kernel module.
---
 .ci/non-working | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.ci/non-working b/.ci/non-working
index 1d49caed..31648232 100644
--- a/.ci/non-working
+++ b/.ci/non-working
@@ -2,3 +2,4 @@ bottomhalf
 bh_threaded
 intrpt
 vkbd
+syscall-steal