From 7e709741698c6cd9e66ff16007e038db2f5f5a13 Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Wed, 22 Jan 2025 23:34:41 +0100
Subject: [PATCH] Wed 22 Jan 23:34:02 CET 2025

---
 library/syscalls.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/library/syscalls.c b/library/syscalls.c
index f2503a0..efbc96a 100644
--- a/library/syscalls.c
+++ b/library/syscalls.c
@@ -8,6 +8,7 @@ See the file LICENSE for details.
 #include "kernel/stats.h"
 #include "kernel/gfxstream.h"
 
+
 void syscall_debug(const char *str)
 {
 	syscall(SYSCALL_DEBUG, (uint32_t) str, 0, 0, 0, 0);
@@ -198,3 +199,8 @@ int syscall_device_driver_stats(char * name, void * stats)
 	return syscall(SYSCALL_DEVICE_DRIVER_STATS, (uint32_t) name, (uint32_t) stats, 0, 0, 0);
 }
 
+#ifdef LIBRARY_SYSCALLS_EXT
+  #include "library_syscalls_ext.c"
+#endif
+
+