Are we really going to start this pointless discussion again? They are two licenses with different use cases and different considerations. GPL has a lot more mental overhead to using it, MIT is hands off, both of these aren’t inherently invalid.
Also Tanenbaum in your own link mentions that Intel probably would have just written their own microkernel if need be.
What? I thought Nvidia didn’t want to mainline the open driver??
Edit: Grrrr, clickbait. This is not about their open driver but as far as I understood about exposing a more minimal driver for vGPU usage, in light of development of Nova, a Rust based nouveau successor.