; File: kernel.asm
; Assembly entry point for the kernel
[bits 64]
[extern kmain]      ; kmain is defined in kernel.c

global _start       ; Make _start visible to linker

_start:
    ; We're already in 64-bit mode with stack set up
    ; Just call the C kernel
    call kmain
    
    ; If kmain returns, hang
    jmp $