3 ms·
L4 is a joy to use. I haven't worked with seL4, but used an earlier branch of the L4 family (L4Ka::Pistachio) as a base for a toy OS (university project). If
by senko 4y ago
L4 is a joy to use.
I haven't worked with seL4, but used an earlier branch of the L4 family (L4Ka::Pistachio) as a base for a toy OS (university project).
If I had the time to tinker with base OS design today, I'd definitely start with seL4.
Edited to add: the whitepaper here is a good intro to seL4: https://sel4.systems/About/seL4-whitepaper.pdf https://sel4.systems/About/seL4-whitepaper.pdf
- bwhaley 4y agoThat white paper is an incredible piece of technical documentation. Accessible to anyone with a basic background in computing and operating systems. I love hidden gems like this.
- tenebrisalietum 4y agoA favorite part of mine is the explanation of capabilities versus ACLs that it provides.
- anderspitman 4y agoFine y'all have convinced me to take a look
- infinite8s 4y agoI wonder if seL4 could serve as the base layer for a new Smalltalk based system on something like a PineNote.
- atombender 4y agoSEPOS, the OS that runs in the Secure Enclave in Apple devices, is actually fork of L4Ka::Pistachio. It's called L4-embedded, and was developed by National ICT Australia for their Darbat project, a port of Darwin/XNU to L4. Running macOS on L4 sounds cool, but that project didn't go anywhere, for whatever reason.