3 ms·OKL4 is a microkernel that’s shipped in a billion mobile devices.by als0 7y agoOKL4 is a microkernel that’s shipped in a billion mobile devices.