This particular series is more of a toy OS for learning purposes (and through which they can teach things). At least, that's my impression of it.

Redox (https://github.com/redox-os/redox) is a Rust OS project that's aiming to actually be a usable consumer OS.