Kernel: Add basic IPC and move to microkernel design.

The IPC design is currently a WIP and is nowhere near complete

1 files changed, 18 insertions, 0 deletions

diff --git a/kernel/syscalls/ipc.c b/kernel/syscalls/ipc.c
new file mode 100644
index 0000000..b6947d1
--- /dev/null
+++ b/kernel/syscalls/ipc.c
@@ -0,0 +1,18 @@
+#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);
+}