The TUDOS demo used L4Linux. You could rapidly spawn new VM’s so fast that I later used it as a counterpoint to the need for containers. They were just using slow VM’s. L4Linux on separation kernels was better security, too.
I wish I could use L4Linux as the kernel in NixOS. I tried implementing this once, but I’m enough of a Nix noob that I failed.