From fff1a374ed604514efb188f8148cded5a1ef1f7a Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 25 Mar 2013 10:21:06 +0100
Subject: [PATCH] run: add Intel AMT support to x86 kernels

Issue #679
---
 base-fiasco/run/env    | 8 ++++++--
 base-foc/run/env       | 7 ++++++-
 base-okl4/run/env      | 7 ++++++-
 base-pistachio/run/env | 7 ++++++-
 4 files changed, 24 insertions(+), 5 deletions(-)

diff --git a/base-fiasco/run/env b/base-fiasco/run/env
index 82c4045c8..902525f20 100644
--- a/base-fiasco/run/env
+++ b/base-fiasco/run/env
@@ -127,5 +127,9 @@ proc build_boot_image {binaries} {
 
 
 proc run_genode_until {{wait_for_re forever} {timeout_value 0}} {
-	spawn_qemu $wait_for_re $timeout_value }
-
+	if {[is_amt_available]} {
+		spawn_amt $wait_for_re $timeout_value;
+	} else {
+		spawn_qemu $wait_for_re $timeout_value;
+	}
+}
diff --git a/base-foc/run/env b/base-foc/run/env
index 31b288647..03c9041e4 100644
--- a/base-foc/run/env
+++ b/base-foc/run/env
@@ -238,4 +238,9 @@ proc build_boot_image {binaries} {
 
 
 proc run_genode_until {{wait_for_re forever} {timeout_value 0}} {
-	spawn_qemu $wait_for_re $timeout_value }
+	if {[is_amt_available]} {
+		spawn_amt $wait_for_re $timeout_value;
+	} else {
+		spawn_qemu $wait_for_re $timeout_value;
+	}
+}
diff --git a/base-okl4/run/env b/base-okl4/run/env
index 3b255d7b3..dabf44643 100644
--- a/base-okl4/run/env
+++ b/base-okl4/run/env
@@ -197,4 +197,9 @@ proc build_boot_image {binaries} {
 
 
 proc run_genode_until {{wait_for_re forever} {timeout_value 0}} {
-	spawn_qemu $wait_for_re $timeout_value }
+	if {[is_amt_available]} {
+		spawn_amt $wait_for_re $timeout_value;
+	} else {
+		spawn_qemu $wait_for_re $timeout_value;
+	}
+}
diff --git a/base-pistachio/run/env b/base-pistachio/run/env
index 0d7862eea..091a92ccd 100644
--- a/base-pistachio/run/env
+++ b/base-pistachio/run/env
@@ -105,4 +105,9 @@ proc build_boot_image {binaries} {
 
 
 proc run_genode_until {{wait_for_re forever} {timeout_value 0}} {
-	spawn_qemu $wait_for_re $timeout_value }
+	if {[is_amt_available]} {
+		spawn_amt $wait_for_re $timeout_value;
+	} else {
+		spawn_qemu $wait_for_re $timeout_value;
+	}
+}