.code64

.extern kernel_init			# defined in core/main.c

.section .boot.rodata, "a", @progbits

.global start_64
.type start_64, @function
start_64:
	pop %rdi
	call kernel_init

	cli
	hlt