Wed 22 Jan 23:36:03 CET 2025

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;