SeL4 Summit – Trustworthy Systems R&D Update – Gernot Heiser, UNSW Sydney [video]youtube.com2 points·snvzz··0 commentsOpen articleSaveView on HN