Some syscalls and userspace stuff

sorry for the worse-getting commit messages...

1 files changed, 8 insertions, 0 deletions

diff --git a/src/kernel/syscall/actions/sys_paging_free.c b/src/kernel/syscall/actions/sys_paging_free.c
new file mode 100644
index 0000000..cdf7bb1
--- /dev/null
+++ b/src/kernel/syscall/actions/sys_paging_free.c
@@ -0,0 +1,8 @@
+#include <stdint.h>
+#include <kernel/paging/paging.h>
+
+uint32_t sys_paging_free(uint32_t virt, uint32_t count)
+{
+    paging_set_free(virt, count);
+    return count;
+}
\ No newline at end of file