4 ms·
- Spectre's mitigation are probably extra painful for microkernels. - AFAIK the most secure microkernel is SeL4, but AFAIK it isn't proven for multiple cores, a
by renox 6y ago
- Spectre's mitigation are probably extra painful for microkernels.
- AFAIK the most secure microkernel is SeL4, but AFAIK it isn't proven for multiple cores, and I wouldn't be surprised if (some) low-power settings of CPUs would give him troubles.
- AstralStorm 6y agoAnd ultimately none of the microkernels has a credible set of drivers for a typical PC, much less verified ones. Drivers are a huge hole, especially easily accessible ones like video due to 3D APIs.