What's the embed story with ARM mbed

I do both embedded Rust and Mbed. Are you trying to wrap MbedOS with Rust? Or did you mean you want to write firmware for Mbed enabled boards in Rust?