3 ms·
Interestingly L4 is being used to power the secure enclave on iOS devices so it's probably the most distributed microkernel.
by disordinary 10y ago
Interestingly L4 is being used to power the secure enclave on iOS devices so it's probably the most distributed microkernel.