Efforts like this driver framework do help. seL4 foundation members[0] are using it. There's Genode[1], which supports it among other kernels, offering a fanc

Efforts like this driver framework do help. seL4 foundation members[0] are using it. There's Genode[1], which supports it among other kernels, offering a fancy desktop environment. There's also Makatea[2], an effort to implement a stronger Qubes-like system based on seL4. 0. https://sel4.systems/Foundation/Membership/ https://sel4.systems/Foundation/Membership/ 1. https://genode.org/ https://genode.org/ 2. https://trustworthy.systems/projects/makatea/ https://trustworthy.systems/projects/makatea/