Comment by dmazin

I promise that this is a good-faith question: is MINIX still the best OS teaching tool? Personally, I enjoyed the lectures of https://rust-class.org/, though the Rust code itself may be a little outdated (it's from 2014).