3 ms·
Simple question: What are some seL4 "distros" one can install today? Which types of hardware is supported? And how usable the userland is?
by segfaultbuserr 7y ago
Simple question: What are some seL4 "distros" one can install today? Which types of hardware is supported? And how usable the userland is?
- closeneough 7y agohttps://genode.org/ https://genode.org/
- tptacek 7y agoIf you're looking for a desktop/end-user operating system (even for a server of some sort), you're not really looking for L4. You might as well just use Qubes; the security model will be similar (in that you'll be "using" hosted Linux, not the underlying OS directly). L4 gets interesting if you're building another platform.
- segfaultbuserr 7y agoWell, I think it's an interesting idea in itself to build a full operating system based on a secure kernel, even if it's server/CLI only, runs in a virtual machine as a prototype (think GNU Hurd). Isn't it?
- tptacek 7y agoIf you're going to build a new OS, sure. That's how you should think of L4: as a toolkit for building new operating systems.