kvm1 back in business

diff --git a/system/LocalSubstrate.inria.py b/system/LocalSubstrate.inria.py
index ef1e37a..f0712ce 100755 (executable)
--- a/system/LocalSubstrate.inria.py
+++ b/system/LocalSubstrate.inria.py
@@ -44,7 +44,7 @@ class OnelabSubstrate (Substrate):
       return [ # how many qemus max in this box
 # enfoui runs f18 - also can't seem to enter BIOS on that one
          ('kvm64-6', 4), # 4 cores, 8Gb
-#         ('kvm64-1', 3), # 4 cores, 4Gb
+         ('kvm64-1', 3), # 4 cores, 4Gb
          ('kvm64-2', 3), # 4 cores, 4Gb
          ('kvm64-4', 2), # 4 cores, 8Gb
          ('kvm64-3', 1), # 2 cores, 4Gb