#microkernel
1 link.
Links Open in the Archive
Can We Make Operating Systems Reliable and Secure?
Microkernels—long discarded as unacceptable because of their lower performance compared with monolithic kernels—might be making a comeback in operating systems…