⑤何もしない無限ループ

このコード部分の話

loop {
    cortex_m::asm::wfi();
}

cortex_m::asm::wfi

ARM Cortex-Mプロセッサのアセンブリ命令WFI(Wait For Interrupt)を呼び出します。 この命令は、プロセッサを低電力モードに移行させ、次の割り込みが発生するまで待機させるのに使用します。

つまり、このloopの処理は「省エネな状態で無限に割り込みを待ちづつける」という意味になります。