3 ms·Hacker-Proof Code Confirmed (2016)2 points by taubek 3y agocmrx64 3y agointerned at NICTA on seL4 in 2016, AMA :)