From b19d8a50d5b340c9339c15e9b864e881e4dadeb0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <jws@sysret.de>
Date: Thu, 30 Nov 2023 21:19:31 +0000
Subject: [PATCH] lighttpd.run: fix libc rtc setting

genodelabs/genode#5093
---
 repos/ports/run/lighttpd.run | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/repos/ports/run/lighttpd.run b/repos/ports/run/lighttpd.run
index c32f99b548..285a232f00 100644
--- a/repos/ports/run/lighttpd.run
+++ b/repos/ports/run/lighttpd.run
@@ -205,11 +205,12 @@ EpA5DBBklj8UE2CdONvN
 	</body>
 </html>
 					</inline>
+					<ram/>
 				</dir>
 				<dir name="tmp"> <ram/> </dir>
 			</vfs>
 			<libc stdin="/dev/null" stdout="/dev/log" stderr="/dev/log"
-			      rtc="/dev/rtc/" rng="/dev/random" socket="/socket"/>
+			      rtc="/dev/rtc" rng="/dev/random" socket="/socket"/>
 		</config>
 
 		<route>