4 ms·Here I was thinking: Wouldn't it be nice if seL4 were Open source.by hornetblack 12y agoHere I was thinking: Wouldn't it be nice if seL4 were Open source.