This book by Stephen Marz seems to be a great addition to the Arpaci-Dousseau's "Operating Systems: Three Easy Pieces" (https://pages.cs.wisc.edu/~remzi/OSTEP/).
Stephen also wrote a great blog article series on building your own RISC-V OS in Rust (https://osblog.stephenmarz.com), so I'm really looking forward to reading his computer architecture book (and probably using it in my course).
Stephen also wrote a great blog article series on building your own RISC-V OS in Rust (https://osblog.stephenmarz.com), so I'm really looking forward to reading his computer architecture book (and probably using it in my course).