46 ms·How many cores does the world's largest seL4-running box have? 4?by yencabulator 2y agoHow many cores does the world's largest seL4-running box have? 4?