1 files changed, 7 insertions(+), 10 deletions(-)

M nixos-modules/store-wrapper.dhall

@@ 48,17 48,14 @@ in  λ(subinit : Init.Type) →
                         , binary = "vfs"
                         , config = Init.Config::{
                           , content =
-                            [ XML.element
-                                { name = "vfs"
-                                , attributes = XML.emptyAttributes
-                                , content =
-                                  [ XML.leaf
-                                      { name = "tar"
-                                      , attributes = toMap { name = storeName }
-                                      }
+                              let VFS = Genode.VFS
+
+                              in  [ VFS.vfs
+                                      [ VFS.leafAttrs
+                                          "tar"
+                                          (toMap { name = storeName })
+                                      ]
                                   ]
-                                }
-                            ]
                           , policies =
                             [ Init.Config.Policy::{
                               , service = "File_system"