From 3f69457a94a8729b3d721b39493c39ac5a0c721f Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 25 Jul 2022 17:04:12 +0200
Subject: [PATCH] pc/intel: add intel_fb test to autopilot

---
 repos/pc/run/intel_fb.run | 20 ++++++++++++++++++--
 tool/autopilot.list       |  1 +
 2 files changed, 19 insertions(+), 2 deletions(-)

diff --git a/repos/pc/run/intel_fb.run b/repos/pc/run/intel_fb.run
index 7265214d59..9fee27180e 100644
--- a/repos/pc/run/intel_fb.run
+++ b/repos/pc/run/intel_fb.run
@@ -1,3 +1,15 @@
+assert_spec x86_64
+
+if {[get_cmd_switch --autopilot] && [have_include "power_on/qemu"]} {
+	puts "Run script does not support autopilot mode on Qemu"
+	exit 0
+}
+
+if {[get_cmd_switch --autopilot] && [have_board linux]} {
+	puts "Autopilot mode is not supported on this platform."
+	exit 0
+}
+
 #
 # Build
 #
@@ -59,7 +71,7 @@ append config {
 	<start name="report_rom" priority="0">
 		<resource name="RAM" quantum="2M"/>
 		<provides> <service name="Report" /> <service name="ROM" /> </provides>
-		<config verbose="yes"/>
+		<config verbose="no"/>
 	</start>
 
 	<start name="init_dynamic" caps="10000">
@@ -218,4 +230,8 @@ append_platform_drv_boot_modules
 
 build_boot_image $boot_modules
 
-run_genode_until forever
+if { [get_cmd_switch --autopilot] } {
+	run_genode_until {\[init -\> init_dynamic -\> intel_fb_drv\] HDMI-A-2:  enable.*} 30
+} else {
+	run_genode_until forever
+}
diff --git a/tool/autopilot.list b/tool/autopilot.list
index 13728a833b..559e9d6954 100644
--- a/tool/autopilot.list
+++ b/tool/autopilot.list
@@ -19,6 +19,7 @@ gdb_monitor
 hello
 ieee754
 init_smp
+intel_fb
 libc_integration
 libc_vfs_fs_ext2
 libc_vfs_fs_fat