Hello! I'm more or less still working on providing x86_64+i686 virtual machines on a compilation machine to devs and TUs. Problem staying unresolved for days and days: the Arch Linux installation media kernel detects the VM as a 32 bits system. Does anyone have an experience with it? On a unrelated matter, I've been pretty busy and late in my work those days. I got back into meetings and it takes me a looot of time. Happily there will be quite less meetings from the second half of September, but then I'll be back in class and will have a team to build/manage. -- Geoffroy Carrier