From a579e924000c8e319454c43fcd5f387da040f626 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 8 Nov 2022 18:33:04 +0100
Subject: [PATCH] wifi.run: configure /dev/urandom as libc RNG

---
 repos/pc/run/wifi.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/pc/run/wifi.run b/repos/pc/run/wifi.run
index 939416b98d..320f279da1 100644
--- a/repos/pc/run/wifi.run
+++ b/repos/pc/run/wifi.run
@@ -276,7 +276,7 @@ append config {
 		<resource name="RAM" quantum="32M"/>
 		<config ld_verbose="yes">
 			<report mac_address="true"/>
-			<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
+			<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc" rng="/dev/urandom"/>
 			<vfs>
 				<dir name="dev"> <log/> <null/> <rtc/>
 					<jitterentropy name="random"/>