[LINK] seL4, secure operating system kernel is being open-sourced

seL4 is the world’s first (and only?) operating-system kernel with an end-to-end proof of implementation correctness and security enforcement. In 34 days it is going open source:

http://​​sel4.systems/​​

Now if only we could get a provably-correct implementation of the Amoeba operating system kernel on top of this, it’d be the perfect base for a boxed AI software stack.