Upload files to "include/kernel"

include/kernel/boot.h

@@ -0,0 +1,7 @@
+#ifndef _KERNEL_BOOT_H
+#define _KERNEL_BOOT_H
+
+
+uint8_t parse_boot_data(const char* data);
+
+#endif

include/kernel/syscalls.h

@@ -0,0 +1,8 @@
+#ifndef _SYSCALLS_H
+#define _SYSCALLS_H
+
+#include <stdint.h>
+
+int16_t syscall_write(int32_t fd, const void* buffer, int32_t length);
+
+#endif