At the recent RustConf I got to take a course working with TockOS. I highly recommend people check it out: https://www.tockos.org/documentation/getting-started/

It was a lot of fun to work with and looks to have a growing set of common drivers, etc.

The OP guide looks to be lower level and wonderful for learning. Reading through it very quickly, it looks very thorough, well done!