From eeb40d0cc21360d3f00d046cd9a20d3507f1f792 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 10 Aug 2022 11:42:55 +0200
Subject: [PATCH] vbox5_genode_usb_hid_raw: configure static RTC

This prevents

  Warning: clock_gettime(): missing real-time clock

log messages.

Related to #4561
---
 repos/ports/run/vbox5_genode_usb_hid_raw.run | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/repos/ports/run/vbox5_genode_usb_hid_raw.run b/repos/ports/run/vbox5_genode_usb_hid_raw.run
index aeed73f926..474bb751ef 100644
--- a/repos/ports/run/vbox5_genode_usb_hid_raw.run
+++ b/repos/ports/run/vbox5_genode_usb_hid_raw.run
@@ -213,12 +213,15 @@ append config {
 		<resource name="RAM" quantum="448M"/>
 		<config vbox_file="vm_genode_usb_hid_raw.vbox" vm_name="TestVM" xhci="yes">
 			<vfs>
-				<dir name="dev"> <log/> <terminal/> </dir>
+				<dir name="dev">
+					<log/> <terminal/>
+					<inline name="rtc">2022-08-10 00:01</inline>
+				</dir>
 				<dir name="pipe"> <pipe/> </dir>
 				<rom name="vm_genode_usb_hid_raw.vbox" />
 				<rom name="usb_hid_raw.iso" />
 			</vfs>
-			<libc stdout="/dev/log" stderr="/dev/log" pipe="/pipe"/>
+			<libc stdout="/dev/log" stderr="/dev/log" pipe="/pipe" rtc="/dev/rtc"/>
 		</config>
 		<route>
 			<service name="Report"><child name="report_rom" /></service>