6 files changed, 0 insertions, 47 deletions
diff --git a/src/userspace/libc/unistd/exec.c b/src/userspace/libc/unistd/exec.c
deleted file mode 100644
index fd08d57..0000000
--- a/src/userspace/libc/unistd/exec.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include <stdint.h>
-#include <syscall.h>
-
-u32 exec(char *path)
-{
-	return syscall_exec(path);
-}
-\ No newline at end of file
diff --git a/src/userspace/libc/unistd/get_pid.c b/src/userspace/libc/unistd/get_pid.c
deleted file mode 100644
index c42f460..0000000
--- a/src/userspace/libc/unistd/get_pid.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include <stdint.h>
-#include <syscall.h>
-
-u32 get_pid()
-{
-	return syscall_get_pid();
-}
-\ No newline at end of file
diff --git a/src/userspace/libc/unistd/read.c b/src/userspace/libc/unistd/read.c
deleted file mode 100644
index 7ae2626..0000000
--- a/src/userspace/libc/unistd/read.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include <stdint.h>
-#include <syscall.h>
-
-u32 read(char *path, u32 offset, u32 count, u8 *buf)
-{
-	return syscall_read(path, offset, count, buf);
-}
-\ No newline at end of file
diff --git a/src/userspace/libc/unistd/spawn.c b/src/userspace/libc/unistd/spawn.c
deleted file mode 100644
index 91ed340..0000000
--- a/src/userspace/libc/unistd/spawn.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include <stdint.h>
-#include <syscall.h>
-
-u32 spawn(char *path)
-{
-	return syscall_spawn(path);
-}
-\ No newline at end of file
diff --git a/src/userspace/libc/unistd/wait.c b/src/userspace/libc/unistd/wait.c
deleted file mode 100644
index 7c0a6fb..0000000
--- a/src/userspace/libc/unistd/wait.c
+++ /dev/null
@@ -1,12 +0,0 @@
-#include <stdint.h>
-#include <syscall.h>
-
-u32 wait_pid(u32 pid, u32 *status, u32 options)
-{
-	return syscall_wait(pid, status, options);
-}
-
-u32 wait(u32 *status)
-{
-	return wait_pid(-1, status, 0);
-}
-\ No newline at end of file
diff --git a/src/userspace/libc/unistd/write.c b/src/userspace/libc/unistd/write.c
deleted file mode 100644
index cd1a0f6..0000000
--- a/src/userspace/libc/unistd/write.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include <stdint.h>
-#include <syscall.h>
-
-u32 write(char *path, u32 offset, u32 count, u8 *buf)
-{
-	return syscall_write(path, offset, count, buf);
-}
-\ No newline at end of file