run: add Intel AMT support to x86 kernels

Issue 
This commit is contained in:
Alexander Boettcher 2013-03-25 10:21:06 +01:00 committed by Norman Feske
parent 3593c7fb4d
commit fff1a374ed
4 changed files with 24 additions and 5 deletions
base-fiasco/run
base-foc/run
base-okl4/run
base-pistachio/run

View File

@ -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;
}
}

View File

@ -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;
}
}

View File

@ -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;
}
}

View File

@ -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;
}
}