Lightweight Linux VMs on NixOS