One thing that concerns me is packaging desktop virtual machine images for easy reproducibility. We realized that some users do not (or cannot, due to security

One thing that concerns me is packaging desktop virtual machine images for easy reproducibility. We realized that some users do not (or cannot, due to security policies) turn on VT-x/AMD-V in their machines, and therefore Virtualbox and VMWare Player cannot run 64-bit guests. So we had to make 32-bit virtual machine images for them. If popular distros stop supporting 32-bit, we will have a harder time packaging such images, since we'll have to use a different distro for them, with different package names, settings, etc.