From fbec6ae0302977335c3e11e1dfd34e32fccd9c9b Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Mon, 1 Apr 2024 15:46:08 +0200
Subject: [PATCH] file_vault_client.run: raise access timeout

On some platforms like qemu/x86_64/sel4, accessing the file system is so
slow that it used to hit the timeout of this phase in the run script.

Ref #5148
---
 repos/gems/run/file_vault_client.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/gems/run/file_vault_client.run b/repos/gems/run/file_vault_client.run
index d82d82bccf..af6d42fcfb 100644
--- a/repos/gems/run/file_vault_client.run
+++ b/repos/gems/run/file_vault_client.run
@@ -126,7 +126,7 @@ if {[container_initialized]} { append config "
 }
 append config {
 					</inline>
-					<sleep milliseconds="12000"/>
+					<sleep milliseconds="20000"/>
 					<inline>
 
 						<ui_config version="step_3_lock"/>