3 ms·Is seL4 open-source? Last time I looked, it wasn't.by mokus 12y agoIs seL4 open-source? Last time I looked, it wasn't.