3 ms·SeL4 Summit – Trustworthy Systems R&D Update – Gernot Heiser, UNSW Sydney [video]2 points by snvzz 1y ago