Comment by lproven

> I hope something like SEL4 can replace Linux for cloud server workloads eventually.

Why not 9front and diskless Linux microVMs, Firecracker/Kata-containers style?

Filesystem and process isolation in one, on an OS that's smaller than K8s?

Keep it simple and Unixy. Keep the existing binaries. Keep plain-text config and repos and images. Just replace the bottom layer of the stack, and migrate stuff to the host OS as and when it's convenient.