vmm: Halt vcore 0 instead of spinning
[akaros.git] / arch
1 kern/arch/