Paging should work ish, need to complete page reservation for kernel app. need to set stack pointer, then we are ready to hit it.

kernel/link.x

@@ -0,0 +1,28 @@
+ENTRY(efi_main)
+
+SECTIONS {
+    . = 0x100000;  /* or whatever uefi loads you at */
+    __kernel_start = .;
+
+    . = ALIGN(4K);
+    .text : { *(.text .text.*) }
+
+    . = ALIGN(4K);
+    .rodata : { *(.rodata .rodata.*) }
+
+    . = ALIGN(4K);
+    .data : { *(.data .data.*) }
+
+    . = ALIGN(4K);
+    .bss : { *(.bss .bss.*) }
+
+    . = ALIGN(4K);
+    __kernel_end = .;
+
+    /DISCARD/ : {
+        *(.eh_frame)
+        *(.eh_frame_hdr)
+        *(.note.*)
+        *(.comment)
+    }
+}