I would love to see a modern such take, targeting RISC-V OS-A platform and a microkernel, multiserver architecture. There's far too many of these courses targe

I would love to see a modern such take, targeting RISC-V OS-A platform and a microkernel, multiserver architecture. There's far too many of these courses targeting x86-32 and the deeply flawed UNIX architecture. The closest we've got today is MINIX 3's book, Operating Systems: Design and Implementation.