4 ms·interned at NICTA on seL4 in 2016, AMA :)by cmrx64 3y agointerned at NICTA on seL4 in 2016, AMA :)