Title probably should've been user-land given I had impression they secured the kernel. I still like the project idea. They picked the right, two languages if wanting maximal contributions that are safe by default.
I don't know about SGX, though, since bugs keep being found in the CPU extensions. I have little confidence in Intel's QA. I haven't put time into learning SGX for that reason. Muen SK claimed to just depend on one, widely-used mechanism (virtualization) to reduce that risk.