News for hackers. Stuff that matters.
Re:L4 microkernels: The lessons from 20 years of research an... by cmrx64 on Tuesday September 20, 2016 @01:55PM (#12541611)
The C code is manually written.

There are no comments on this comment yet.