3 ms·
seL4 is really sexy, but I don't think it's anywhere near the most-used one?
by JoachimSchipper 10y ago
seL4 is really sexy, but I don't think it's anywhere near the most-used one?
- nickpsecurity 10y agoOKL4 if we're going with the phone example. They stopped open-sourcing it by version 4.0 but someone should be able to dig up OKL4 3.0 somewhere.