[bits 32]

global kernel_halt

; void kernel_halt( void )
kernel_halt:
	hlt
	ret