They also have used an stm32f4, which I do have at the moment, but support for it seems to have dwindled over the past few months.
But I really like the safe way they are developing the API. Even the hardware configuration is done as a safe DSL. Very impressive.
This project looks like a great foundation for a realtime OS in Rust I've been itching to try my hand at.