From f8c420a78b82692815103369b024bd4ca9831d01 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 18 Apr 2024 11:25:06 +0200
Subject: [PATCH] file_vault_client.run: epit timer requires IO_MEM

---
 repos/gems/run/file_vault_client.run | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/gems/run/file_vault_client.run b/repos/gems/run/file_vault_client.run
index 8a676036f3..8a8cfa2c84 100644
--- a/repos/gems/run/file_vault_client.run
+++ b/repos/gems/run/file_vault_client.run
@@ -102,6 +102,7 @@ append config {
 				<service name="LOG">     <parent/> </service>
 				<service name="CPU">     <parent/> </service>
 				<service name="IO_PORT"> <parent/> </service>
+				<service name="IO_MEM">  <parent/> </service>
 				<service name="IRQ">     <parent/> </service>
 			</route>
 		</start>