The article mentions this but there are 2 main components that are not Google owned. SeL4 microkernel and the antimicro simulator. The git repo mentions that KataOS is the system services on SeL4. It is possible there is significant overlap with katacontainers.