From 307571308b115eb737281711c780fa4cd1ed837f Mon Sep 17 00:00:00 2001
From: Dennis Kobert <dennis@kobert.dev>
Date: Tue, 12 Nov 2019 17:27:07 +0100
Subject: Increase fault handler stack size

---
 kernel/run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/run')

diff --git a/kernel/run b/kernel/run
index 26eae12..8c52bd9 100755
--- a/kernel/run
+++ b/kernel/run
@@ -127,7 +127,7 @@ for arg in "$@"; do
         "test") action=test;;
         "help") action=help;;
         *)
-            echo "warn: ignoring unknown option '$arg'"
+            # echo "warn: ignoring unknown option '$arg'"
             kernel_libary=$arg;;
     esac
 done
-- 
cgit v1.2.3-54-g00ecf