From 2f89f5258de31caa25b47c4d5b02017872a196ee Mon Sep 17 00:00:00 2001 From: Emery Hemingway Date: Fri, 13 Nov 2020 13:17:30 +0100 Subject: [PATCH] nixos: use Dhall VFS library in store-wrapper --- nixos-modules/store-wrapper.dhall | 17 +++++++---------- 1 file changed, 7 insertions(+), 10 deletions(-) diff --git a/nixos-modules/store-wrapper.dhall b/nixos-modules/store-wrapper.dhall index aac1e13..5aaa9eb 100644 --- a/nixos-modules/store-wrapper.dhall +++ b/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" -- 2.45.2