4 ms·
None of these are microkernels with a strict capabilities model. Open source isn’t the only desirable property of a kernel, and Unix is probably not the last wo
by johncolanduoni 6y ago
None of these are microkernels with a strict capabilities model. Open source isn’t the only desirable property of a kernel, and Unix is probably not the last word in advancements of general purpose OS APIs.
One application they’re probably interested in is a sandbox/containerization system with a drastically smaller surface area than the Linux primitives. That’s what excites me, we may get to the point where things like Firecracker VM and gVisor are no longer needed for robust isolation.
- trasz 6y agoIsn't seL4 a microkernel with a strict capabilities model?
- johncolanduoni 6y agoSeL4 currently doesn’t have shared memory concurrency, and is only the kernel part. It’s focused heavily on formal verification, and makes a number of other sacrifices (in particular to performance) to achieve that. I’m a big fan of formal verification, but seL4 levels of assurance are still too unwieldy with current tools for an application that doesn’t place a massive premium on it. It’s also worth noting that the Fuchsia equivalent would be Zircon, which is a relatively small part of the Fuchsia project (and will only get smaller in proportion).