From 71e0fa201bbe08939cbf055edbb4f18523e10115 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 10 Feb 2025 12:27:32 +0100
Subject: [PATCH] Amend vbox6 runtimes / run scripts for monitor config

Issue #5449
---
 repos/ports/recipes/pkg/vbox6-capture/runtime | 1 +
 repos/ports/recipes/pkg/vbox6/runtime         | 1 +
 repos/ports/run/vbox6_genode_usb_hid_raw.run  | 1 +
 repos/ports/run/virtualbox6.run               | 1 +
 4 files changed, 4 insertions(+)

diff --git a/repos/ports/recipes/pkg/vbox6-capture/runtime b/repos/ports/recipes/pkg/vbox6-capture/runtime
index f87652527e..d1bf30921c 100644
--- a/repos/ports/recipes/pkg/vbox6-capture/runtime
+++ b/repos/ports/recipes/pkg/vbox6-capture/runtime
@@ -37,6 +37,7 @@
 		<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc" pipe="/pipe">
 			<pthread placement="single-cpu"/>
 		</libc>
+		<monitor label="VBOX-1"/>
 		<webcam vertical_flip="true" fps="30" screen_size="false" width="640" height="480"/>
 		<arg value="virtualbox"/>
 		<env key="VBOX_USER_HOME" value="/"/>
diff --git a/repos/ports/recipes/pkg/vbox6/runtime b/repos/ports/recipes/pkg/vbox6/runtime
index 5045d34c57..cea2713bcb 100644
--- a/repos/ports/recipes/pkg/vbox6/runtime
+++ b/repos/ports/recipes/pkg/vbox6/runtime
@@ -36,6 +36,7 @@
 		<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc" pipe="/pipe">
 			<pthread placement="single-cpu"/>
 		</libc>
+		<monitor label="VBOX-1"/>
 		<arg value="virtualbox"/>
 		<env key="VBOX_USER_HOME" value="/"/>
 		<env key="VBOX_LOG_DEST"          value="file=/dev/log"/>
diff --git a/repos/ports/run/vbox6_genode_usb_hid_raw.run b/repos/ports/run/vbox6_genode_usb_hid_raw.run
index a91223290b..b16156b9fc 100644
--- a/repos/ports/run/vbox6_genode_usb_hid_raw.run
+++ b/repos/ports/run/vbox6_genode_usb_hid_raw.run
@@ -170,6 +170,7 @@ install_config {
 				<rom name="usb_hid_raw.iso"/>
 			</vfs>
 			<libc stdout="/dev/log" stderr="/dev/log" pipe="/pipe" rtc="/dev/rtc"/>
+			<monitor label="VBOX-1"/>
 			<arg value="virtualbox"/>
 			<env key="VBOX_USER_HOME"         value="/"/>
 			<env key="VBOX_LOG_DEST"          value="file=/dev/log"/>
diff --git a/repos/ports/run/virtualbox6.run b/repos/ports/run/virtualbox6.run
index 76fa10e1e5..88940eda6c 100644
--- a/repos/ports/run/virtualbox6.run
+++ b/repos/ports/run/virtualbox6.run
@@ -253,6 +253,7 @@ append_if [expr $use_overlay] config {
 				</import>}
 append config {
 			</vfs>
+			<monitor label="VBOX-1"/>
 			<arg value="virtualbox"/>
 			<env key="VBOX_USER_HOME" value="/"/>
 			<env key="VBOX_LOG_DEST" value="file=/dev/log"/>