News for hackers. Stuff that matters.

A comment on L4 microkernels: The lessons from 20 years of research and deployment. Parent comment

Re:L4 microkernels: The lessons from 20 years of research an... by hackuser on Tuesday September 20, 2016 @03:44PM (#12542670)
You could run other programs on the box.
[ Parent | on HN ]
Re:L4 microkernels: The lessons from 20 years of research an... by tptacek on Tuesday September 20, 2016 @04:27PM (#12543070)
Without some kind of formally assured way of building your application, you can do that anyways.
[ Parent | on HN ]