I believe that Tock (tockos.org) and Theseus (https://github.com/theseus-os/Theseus https://github.com/theseus-os/Theseus) are in this area a bit as well, just

I believe that Tock (tockos.org) and Theseus (https://github.com/theseus-os/Theseus https://github.com/theseus-os/Theseus) are in this area a bit as well, just from an actual OS perspective. I don't know much about this area, but it would be wonderful if these could work with the Libre compute boards, like the AM Logic S905X (Lepotato) or the Rock chip, since they're so much cheaper than a Pi. Would be great to get a dedicated simple system up to toy with Rust OS for only 30$.