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.

Interesting link, thanks for sharing!

I’m only aware of one other attempt to secure the entire stack: Oxide Computing (focused more on data centers I think.)

Actually, it is a coincidince. Picking names is hard, and I actually had no idea this project existed before I named ours.

Hell, I've worked on two different projects called FLEX from two different companies.