3 ms·
Yes, microkernels like SeL4 do almost all real work out of the kernel, and in userland processes. It’s much more secure that way.
by josephg 5mo ago
Yes, microkernels like SeL4 do almost all real work out of the kernel, and in userland processes. It’s much more secure that way.