We did have a demo using the Stellar MCU's. :)

But they weren't on my list because those have ARM cores and the support for those in Rust is quite good.