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 pjmlp on Tuesday April 09, 2024 @11:41AM (#39980625)
Apparently they moved out of Github, https://github.com/AmbiML/we-moved
[ Parent | on HN ]
Re:SeL4 Device Driver Framework 0.4.0 by transpute on Wednesday April 10, 2024 @05:05PM (#39995709)
Thank you.
[ Parent | on HN ]