From cfe29b0e5264e72350b9db074e49c44e4f15568d Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 17 May 2021 11:37:38 +0200
Subject: [PATCH] libc_integration.run: specify random source

After update of stdcxx, either hardware (CPU) random sources are taken
or, if not available/insufficient, /dev/urandom is used.

Issue #3967
Issue #4094
---
 repos/libports/run/libc_integration.run | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/repos/libports/run/libc_integration.run b/repos/libports/run/libc_integration.run
index a529d3523c..c5132194d5 100644
--- a/repos/libports/run/libc_integration.run
+++ b/repos/libports/run/libc_integration.run
@@ -59,7 +59,8 @@ import_from_depot [depot_user]/src/libc
 import_from_depot [depot_user]/src/posix
 import_from_depot [depot_user]/src/stdcxx
 import_from_depot [depot_user]/src/vfs
-import_from_depot [depot_user]/src/vfs_pipe
+import_from_depot [depot_user]/src/vfs_pipe \
+                  [depot_user]/src/vfs_jitterentropy
 
 build $build_components
 
@@ -98,6 +99,7 @@ append config {
 				<dir name="dev">
 					<log/>
 					<inline name="rtc">2019-08-20 15:01</inline>
+					<jitterentropy name="urandom"/>
 					<dir name="pipe">
 						<pipe/>
 					</dir>