From 5e7aa028e662c047334288e1d95b461eb167bc87 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Thu, 6 Feb 2014 17:49:57 +0100
Subject: [PATCH] enfoui is currently down

---
 system/LocalSubstrate.inria.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/system/LocalSubstrate.inria.py b/system/LocalSubstrate.inria.py
index e5635b1..5673345 100755
--- a/system/LocalSubstrate.inria.py
+++ b/system/LocalSubstrate.inria.py
@@ -44,7 +44,8 @@ class OnelabSubstrate (Substrate):
 # dorfmeister
          ('kvm64-2', 3), # 4 cores, 4Gb
 # enfoui - can't seem to enter BIOS on that one
-         ('kvm64-3', 4), # 4 cores, 8Gb
+# won't reboot - needs to be fixed
+#         ('kvm64-3', 4), # 4 cores, 8Gb
 # estran - big mem but small disk
          ('kvm64-4', 2), # 4 cores, 8Gb
 # lodos - rather old/small
-- 
2.43.0