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 dark-star on Tuesday April 09, 2024 @01:25PM (#39981779)
There's an early version of the Win32 personality atop SeL4 called NeptuneOS (https://github.com/cl91/NeptuneOS)
[ Parent | on HN ]

There are no comments on this comment yet.