sigil/nixos-modules/eris/rom-fs.nix

{ config, pkgs, lib, ... }:

{
  config = lib.mkIf (config.genode.boot.storeBackend == "fs") {

    genode.core.children.eris_vfs = let
      vfsRump = lib.getEris' "lib" pkgs.genodePackages.rump "vfs_rump.lib.so";
    in {
      package = pkgs.genodePackages.vfs;
      extraErisInputs = [ vfsRump ];
      configFile = pkgs.writeText "rom-vfs.dhall" ''
        let Sigil = env:DHALL_SIGIL

        let VFS = Sigil.VFS

        in  ${./rom-vfs.dhall}
              ${../partition-type}
              Sigil.Init.Resources::{ caps = 256, ram = Sigil.units.MiB 16 }
              ( VFS.vfs
                  [ VFS.leafAttrs
                      "plugin"
                      (toMap { load = "${vfsRump.cap}", fs = "ext2fs", ram = "12M" })
                  ]
              )
      '';
    };

  };

}