pub fn halt() -> !
Actually trigger the reboot of the board. But in QEMU, we choose to ‘no-reboot’. So the simulation will exit if halt is called.