; NOT part of the bootloader
; this is the kernel entry code that calls main() in kernel.cpp

[bits 32]  ; we're in 32-bit protected mode at this point
[extern main]  ; going to call main in kernel.c

call main
jmp $