- ('qemu64-1.pl.sophia.inria.fr', None, None),
- ('qemu64-2.pl.sophia.inria.fr', None, None),
- ('qemu64-3.pl.sophia.inria.fr', None, None),
-# ('qemu32-1.pl.sophia.inria.fr', None, None),
- ('qemu32-2.pl.sophia.inria.fr', None, None),
- ('qemu32-3.pl.sophia.inria.fr', None, None),
- ('qemu32-4.pl.sophia.inria.fr', None, None),
-# ('qemu32-5.pl.sophia.inria.fr', None, None),
+ ('kvm64-1.pl.sophia.inria.fr', None, None),
+ ('kvm64-2.pl.sophia.inria.fr', None, None),
+ ('kvm64-3.pl.sophia.inria.fr', None, None),
+ ('kvm64-4.pl.sophia.inria.fr', None, None),
+ ('kvm64-5.pl.sophia.inria.fr', None, None),
+ ('kvm64-6.pl.sophia.inria.fr', None, None),