← Back to context

Comment by LargoLasskhyfv

2 months ago

There is Genode, which can run atop of seL4(amongst others).

https://genode.org/

https://genodians.org/

https://en.wikipedia.org/wiki/Genode

0 comments

LargoLasskhyfv

Reply

No comments yet

Contribute on Hacker News ↗