|
|
|
|
|
|
by darksaints
600 days ago
|
|
|
Can we please get a fraction of the resources currently put into Linux kernel development and start developing a robust userland ecosystem for SeL4? Microkernels in general already mitigate the possible damage that could be done by rogue code in large monolithic kernels. A formally verified microkernel like SeL4 is an even better guarantee. And performance concerns of microkernels are practically solved at this point. These sorts of nation-state sponsored malicious code practices could be made mostly irrelevant. We just need a little momentum to get us there. |
|
|