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.

Reply via email to