.code64

.global _start
.type _start, @function

.extern main
.type main, @function

.extern task_exit
.type task_exit, @function

_start:
	# Args (as provided by the ABI)
	# %rdi: int argc
	# %rsi: const char **argv
	# %rdx: kern_handle_t task
	# %rcx: kern_handle_t address_space
	call main

	mov %rax, %rdi
	call task_exit
1:	jmp 1b