News for hackers. Stuff that matters.

A comment on The State of Linux Security. Parent comment

Re:The State of Linux Security by xj9 on Thursday December 22, 2016 @04:19PM (#13240478)
L4Linux on Genode. Problem solved.
[ Parent | on HN ]
Re:The State of Linux Security by nickpsecurity on Thursday December 22, 2016 @06:39PM (#13241498)
Integrity PC, LynxSecure, and Turaya Desktop being commercial equivalents being sold now. Genode a dual-licensed work in progress. Minix 3 did it for availability with NetBSD layer.

Definitely proven to be doable but just few doing it.

[ Parent | on HN ]