Windows is based on a more advanced hybrid microkernel model - meaning that kernel and other modules (not just drivers) can be loaded and unloaded dynamically.
That would be "hybrid microkernel" as in "not a real micro-kernel at all"?
I remember going to a presentation about this back in the mid-90's. The presentation was by DEC - as at that time Windows NT was going to run on multiple CPU architectures and DEC were keen to be involved. That turned out to be a useful and relevant as the "micro-kernel".
The only really useful thing from that day was a cotton bag they handed out, which is still doing sturdy service to handle my Waitrose shopping. Now that is good re-use of "soft"-ware.