Here I was thinking: Wouldn't it be nice if seL4 were Open source.