3 ms·
I don't think I've ever seen a complicated OS based on SeL4, and it is the opposite of complicated itself. I don't think SeL4 means much for macOS/iOS.
by duaneb 10y ago
I don't think I've ever seen a complicated OS based on SeL4, and it is the opposite of complicated itself.
I don't think SeL4 means much for macOS/iOS.