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.