I've talking about this for a long time. Here it is, a x86_64 build (virtual) machine for every dev and TU who needs one. So please drop me an E-mail with your desired login and a ssh public key. If you don't have a ssh keypair: ssh-keygen -t rsa Then the public key is in $HOME/.ssh/id_rsa.pub Everyone will have complete sudo rights unless we find a better policy. So you shouldn't use it to store any private data... More info to come, I'll write it down for the first users! BTW, devs/TUs who were provided an account on any of my server will have to move to the new solution within a few weeks. -- Geoffroy Carrier