v0.8
4801f1b8 · kernel: park idle harts on wfi when no thread is runnable ·