You’ve heard of video drivers crashing a Linux machine? I have. That can’t happen with a true microkernel.
I’ve heard of it. It’s never happened to me, but I’ve heard of it.
It’s kind of interesting that you should pick this particular example. It’s maybe the one thing that Microsoft Windows got right and Linus got wrong at first. Video drivers, particularly for 3d rendering belong in the kernel.