3 ms·

Please tell me you're working on this.

• snvzz 2y ago
  Not him, but multiple such efforts (not necessarily matching your exact description) exist. LionsOS[0] is an effort by the seL4 foundation itself. Makatea[1] is trying to implement a Qubes-equivalent on a safer seL4 base. Genode[2] is an OS framework built around capabilities that supports several microkernels including seL4 itself. 0. https://lionsos.org/ https://lionsos.org/ 1. https://trustworthy.systems/projects/makatea/ https://trustworthy.systems/projects/makatea/ 2. https://genode.org/ https://genode.org/
  • NetOpWibby 2y ago
    DOPE Thanks for sharing!
    • snvzz 2y ago
      >DOPE It's spelt DOpE[0]. 0. https://os.inf.tu-dresden.de/~nf2/dope.html https://os.inf.tu-dresden.de/~nf2/dope.html
      • deleted 2y ago
        [deleted]