Goals for 2.3: - rv32 qemu support for tutorials - remove `static mut` (use `SingleThreadValue`) Done for 2.3: - x86