Another (even more minor) naming nitpick: personally I don't mind short names such as hwvirt / virtsw, but in general NixOS seems to use option names that are more verbose. Perhaps just use the full name: hardwareVirtualisation and virtualisationSoftware?