2 ms·> seL4 is a game-changer probably overstating the case.by jiveturkey 7y ago> seL4 is a game-changer probably overstating the case.