Success on real hardware!
This is the f9 microkernel ported to RISC-V, specifically ESP32C3, by Ruben Sevaldson, a former student of mine at NTNU in 2022 – plus a small Lisp machine running on top.
Now let's see why this doesn't work in qemu for esp32c3...
https://github.com/rubensseva/f9-riscv
https://github.com/f9micro/f9-kernel