Bootloader loading kernel, not yet jumping to it

src/arch/x86_64/boot.s

@@ -1,12 +0,0 @@
-; boot.s -- Kernel start location.
-
-[BITS 64]
-ALIGN 4
-
-SECTION .text
-[GLOBAL start]
-
-start:
-	; Load multiboot header location
-	mov ebx, 0xdeadbeef
-	jmp $

src/arch/x86_64/details.c

@@ -0,0 +1 @@
+const char *KERNEL_PLATFORM = "x86_64";

src/arch/x86_64/kernel.ld

@@ -1,4 +1,4 @@
-ENTRY(start)
+ENTRY(kernel_main)
 SECTIONS
 {
 	. = 0x100000;