Apologies for the lost quoting in the previous mail, not sure where it gets dropped. Trying again (doing it manually)
On 7 Apr 2021, at 06:31, Royce Mitchell III mailto:royce3@gmail.com> wrote:
| My interest in microkernels and in seL4 in particular is in a more reliable
| desktop computing experience. While security is certainly important,
| avoiding a need to reboot is important too. I know I can run Linux in a VM,
| but if that VM crashes, I still lose my work. Additionally, I did some
| volunteering for ReactOS a long time ago and found kernel mode development
| extremely frustrating. I love the idea of being able to help write drivers
| and it be orders of magnitude easier troubleshooting the driver when it
| misbehaves.
There’s no seL4-based desktop available out of the box, but there are ways to get there.
One is Genode.orghttp://Genode.org, an OS framework that provides a complete, componentised desktop environment on top of a microkernel. While core functionality of Genode runs on seL4, it doesn’t support the full OS yet.
Another approach is to port Qubes OS to seL4. We have made some investigations on this in the past, and there’s talk about third-party funding for this, but nothing concrete yet.
Gernot
PS: There’ll soon be a white paper on secure OS design...
