3 ms·Didn't know seL4 was going to be open source. Thanks.by erikano 12y agoDidn't know seL4 was going to be open source. Thanks.