I just want to interject that microkernels are very important and that
the monolithic Linux in particular is a massive amount of device driver,
filesystem and other code that should not run at the most critical
system level. That is a vulnerability, and any bugs are easily missed.
When spotted, they take a long time to fix. Any microkernel development
is probably a great idea.