Wed 22 Jan 23:36:03 CET 2025

include/library/syscalls.h

@@ -10,6 +10,7 @@ See the file LICENSE for details.
 #include "kernel/types.h"
 #include "kernel/stats.h"
 
+
 void syscall_debug(const char *str);
 
 /* Syscalls that manipulate this process and its children. */
@@ -64,4 +65,8 @@ int syscall_system_rtc( struct rtc_time *t );
 
 int syscall_device_driver_stats(char * name, struct device_driver_stats * stats);
 
+#ifdef LIBRARY_SYSCALLS_EXT
+  #include "library_syscalls_ext.h"
+#endif
+
 #endif