.code64

.extern kernel_init			# defined in core/main.c

.section .boot.text, "ax", @progbits

.global start_64
.type start_64, @function
start_64:
	/* convert %rsp to a higher-half pointer */
	add $0xFFFFFFFF80000000, %rsp

	pop %rdi
	call kernel_init

	cli
	hlt