News for hackers. Stuff that matters.

A comment on The SeL4 Foundation: What and Why. Parent comment

Re:The SeL4 Foundation: What and Why by mycall on Tuesday April 07, 2020 @10:29PM (#22809501)
I see Genode Operating System Framework as the infrastructure it needs.
[ Parent | on HN ]

There are no comments on this comment yet.