Bug fix and cleanup.

1 files changed, 0 insertions, 18 deletions

diff --git a/kernel/syscalls/ipc.c b/kernel/syscalls/ipc.c
deleted file mode 100644
index b6947d1..0000000
--- a/kernel/syscalls/ipc.c
+++ /dev/null
@@ -1,18 +0,0 @@
-#include <ipc.h>
-#include <syscalls.h>
-
-int syscall_ipc_register_endpoint(u32 id) {
-  return ipc_register_endpoint(id);
-}
-
-int syscall_ipc_read(u8 *buffer, u32 length, u32 *sender_pid) {
-  return ipc_read(buffer, length, sender_pid);
-}
-
-int syscall_ipc_write_to_process(int pid, u8 *buffer, u32 length) {
-  return ipc_write_to_process(pid, buffer, length);
-}
-
-int syscall_ipc_write(int endpoint, u8 *buffer, u32 length) {
-  return ipc_write(endpoint, buffer, length);
-}