GNU/NT

How would one call the Microsoft's NT kernel running the free software user space?

And the funniest part, Linux kernel can't do that, because Linus got bad grades for microkernel class. Linux can only expose Linux API.