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 Friday April 12, 2024 @12:06PM (#40014444)
from the documentation, it is not clear to me what shape the posix subsystem has. It might be a library.

thor seems to be an actual "bottleneck".

[ Parent | on HN ]

There are no comments on this comment yet.