From d9dd518a2025fd74531463359e8a40a45f331e2a Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 31 May 2023 10:34:26 +0200
Subject: [PATCH] pkg/file_vault: fix missing fs route

The File System route for the Tresor Init sub-component was somehow missing.

Ref #4819
---
 repos/gems/recipes/pkg/file_vault/runtime | 25 ++++++++++++-----------
 1 file changed, 13 insertions(+), 12 deletions(-)

diff --git a/repos/gems/recipes/pkg/file_vault/runtime b/repos/gems/recipes/pkg/file_vault/runtime
index 8f26701f7b..1af026adfb 100644
--- a/repos/gems/recipes/pkg/file_vault/runtime
+++ b/repos/gems/recipes/pkg/file_vault/runtime
@@ -79,20 +79,21 @@
 			</config>
 			<route>
 				<service name="File_system" label="tresor_trust_anchor_vfs -> storage_dir"> <parent label="trust_anchor"/> </service>
-				<service name="File_system" label="vfs_block -> ">                       <parent label="data"/> </service>
+				<service name="File_system" label="vfs_block -> ">                          <parent label="data"/> </service>
+				<service name="File_system" label="tresor_init -> ">                        <parent label="data"/> </service>
 				<service name="File_system" label="tresor">                                 <parent label="data"/> </service>
-				<service name="File_system" label="fs_query -> ">                        <parent label="data"/> </service>
-				<service name="File_system" label="image_fs_query -> ">                  <parent label="data"/> </service>
-				<service name="File_system" label="tresor_vfs -> tresor_fs">                   <parent label="data"/> </service>
+				<service name="File_system" label="fs_query -> ">                           <parent label="data"/> </service>
+				<service name="File_system" label="image_fs_query -> ">                     <parent label="data"/> </service>
+				<service name="File_system" label="tresor_vfs -> tresor_fs">                <parent label="data"/> </service>
 				<service name="File_system" label="truncate_file -> tresor">                <parent label="data"/> </service>
-				<service name="File_system" label="menu_view -> fonts">                  <parent label="fonts"/> </service>
-				<service name="Timer">                                                   <parent/> </service>
-				<service name="Gui">                                                     <parent/> </service>
-				<service name="PD">                                                      <parent/> </service>
-				<service name="ROM">                                                     <parent/> </service>
-				<service name="CPU">                                                     <parent/> </service>
-				<service name="LOG">                                                     <parent/> </service>
-				<service name="RM">                                                      <parent/> </service>
+				<service name="File_system" label="menu_view -> fonts">                     <parent label="fonts"/> </service>
+				<service name="Timer">                                                      <parent/> </service>
+				<service name="Gui">                                                        <parent/> </service>
+				<service name="PD">                                                         <parent/> </service>
+				<service name="ROM">                                                        <parent/> </service>
+				<service name="CPU">                                                        <parent/> </service>
+				<service name="LOG">                                                        <parent/> </service>
+				<service name="RM">                                                         <parent/> </service>
 			</route>
 		</start>