News for hackers. Stuff that matters.

A comment on SeL4 Device Driver Framework 0.4.0. Parent comment

Re:SeL4 Device Driver Framework 0.4.0 by snvzz on Tuesday April 09, 2024 @10:22AM (#39979741)
>QubesOS

Look into Makatea[0], a seL4-based QubesOS-like system.

0. https://trustworthy.systems/projects/makatea/

[ Parent | on HN ]
Re:SeL4 Device Driver Framework 0.4.0 by katehikes88 on Tuesday April 16, 2024 @04:33PM (#40056820)
vaporware
[ Parent | on HN ]