4 ms·
Are there any projects anywhere developing a microkernel with a capability security model?
by SkyMarshal 6y ago
Are there any projects anywhere developing a microkernel with a capability security model?
- y7 6y agoYes, the seL4 project that is being discussed.
- SkyMarshal 6y agoOh, duh, thx. I hear linux and automatically think monolithic kernel.