From ab545781b54642c6f77b27bf558decf47d2d52a7 Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Sun, 12 Jan 2025 19:30:26 +0100
Subject: [PATCH] Sun 12 Jan 19:29:58 CET 2025

---
 kernel/kshell.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/kernel/kshell.h b/kernel/kshell.h
index db765a4..99e6661 100644
--- a/kernel/kshell.h
+++ b/kernel/kshell.h
@@ -10,4 +10,7 @@ See the file LICENSE for details.
 int kshell_execute(int argc, const char **argv);
 int kshell_launch();
 
+#ifdef KSHELL_EXT
+  #include "kshell_ext.h"
+#endif
 #endif