...

src/boot/symbols.c

@@ -0,0 +1,19 @@
+#include "symbols.h"
+
+extern u8 kernel_start[];
+
+uptr get_kernel_start() {
+    return (uptr)&kernel_start;
+}
+
+extern u8 kernel_end[];
+
+uptr get_kernel_end() {
+    return (uptr)&kernel_end;
+}
+
+extern u8 multiboot_info[];
+
+uptr get_multiboot_info() {
+    return (uptr)&multiboot_info;
+}