3 ms·fun fact: the guy behind flex is also the guy behind seL4by auggierose 7y agofun fact: the guy behind flex is also the guy behind seL4