2 ms·There's some hope now that Apple is a seL4 foundation member.by snvzz 2y agoThere's some hope now that Apple is a seL4 foundation member.