Many courses use MIT's xv6 nowadays, but as a modern lookalike of 6th Edition Unix, this is a quite traditionally structured OS. I don't think there are any textbooks teaching OS design and implementation starting from a microkernel architecture.
For me, Douglas Comer's Xinu book was my first OS textbook, but in my own OS courses, I let the students develop an OS on bare-metal RISC-V from scratch.