[johndoe0815]

I don't know any courses teaching OS courses using Minix today (though there's probably one at VU Amsterdam).

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.