From 0b3d1296fb37a2d6b6e90fde4dc79ba0233717dd Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Wed, 22 Jan 2025 23:36:56 +0100
Subject: [PATCH] Wed 22 Jan 23:36:03 CET 2025

---
 include/kernel/syscall.h | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/include/kernel/syscall.h b/include/kernel/syscall.h
index 3fd1098..4ae0e4e 100644
--- a/include/kernel/syscall.h
+++ b/include/kernel/syscall.h
@@ -10,6 +10,10 @@ See the file LICENSE for details.
 #include "kernel/types.h"
 #include "kernel/error.h"
 
+#ifdef KERNEL_SYSCALL_EXT
+  #include "kernel_syscall_ext.h"
+#endif
+
 typedef enum {
 	SYSCALL_DEBUG,
 	SYSCALL_PROCESS_YIELD,
@@ -50,6 +54,10 @@ typedef enum {
 	SYSCALL_SYSTEM_TIME,
 	SYSCALL_SYSTEM_RTC,
 	SYSCALL_DEVICE_DRIVER_STATS,
+#ifdef KERNEL_SYSCALL_EXT
+  // Syscall extensions
+  KERNEL_SYSCALL_EXT_SYSCALLT
+#endif
 	MAX_SYSCALL		// must be the last element in the enum
 } syscall_t;