Unexpectedly wasn't asked: How it compares to Redox, another message passing microkernel system written in Rust? Also, what for embedded devices means? What specific features has that other microkernel systems don't, or just means is limited in scope*?
*Contrast to Redox that is meant to be general purpose but also offers an embedded-oriented minimal version.