[dredmorbius]

Fuzix might be another option: <https://fuzix.org/>.

Works on the RISC-V 32-bit processor, sometimes.