From 509d6a581ab473c7471454ce569501629cfe0b97 Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Mon, 9 Dec 2024 20:43:17 +0100
Subject: [PATCH] Mon  9 Dec 20:40:44 CET 2024

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

diff --git a/kernel/kshell.h b/kernel/kshell.h
index 56cafd0..db765a4 100644
--- a/kernel/kshell.h
+++ b/kernel/kshell.h
@@ -7,6 +7,7 @@ See the file LICENSE for details.
 #ifndef KSHELL_H
 #define KSHELL_H
 
+int kshell_execute(int argc, const char **argv);
 int kshell_launch();
 
 #endif