fixup consolidation of eris store
This commit is contained in:
parent
d43df20002
commit
3d722d1d2a
|
@ -1,9 +1,55 @@
|
||||||
{ pkgs, ... }: {
|
{ config, lib, pkgs, ... }:
|
||||||
imports = [ ./rom-fs.nix ./rom-memory.nix ];
|
|
||||||
|
|
||||||
|
{
|
||||||
genode.core.children.eris_rom = {
|
genode.core.children.eris_rom = {
|
||||||
package = pkgs.genodePackages.cached_fs_rom;
|
package = pkgs.genodePackages.cached_fs_rom;
|
||||||
configFile = ./cached_fs_rom.dhall;
|
configFile = ./cached_fs_rom.dhall;
|
||||||
};
|
};
|
||||||
|
|
||||||
|
genode.core.children.eris_vfs = {
|
||||||
|
fs = 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}
|
||||||
|
"${config.block.partitions.store.guid}"
|
||||||
|
Sigil.Init.Resources::{ caps = 256, ram = Sigil.units.MiB 32 }
|
||||||
|
( VFS.vfs
|
||||||
|
[ VFS.leafAttrs
|
||||||
|
"plugin"
|
||||||
|
(toMap { load = "${vfsRump.cap}", fs = "cd9660", ram = "12M", writeable="no" })
|
||||||
|
]
|
||||||
|
)
|
||||||
|
'';
|
||||||
|
};
|
||||||
|
memory = {
|
||||||
|
package = pkgs.genodePackages.vfs;
|
||||||
|
configFile = pkgs.writeText "rom-vfs.dhall" ''
|
||||||
|
let Sigil = env:DHALL_SIGIL
|
||||||
|
|
||||||
|
let VFS = Sigil.VFS
|
||||||
|
|
||||||
|
in ${./rom-vfs.dhall}
|
||||||
|
"${config.block.partitions.store.guid}"
|
||||||
|
Sigil.Init.Resources::{ ram = Sigil.units.MiB 4 }
|
||||||
|
( VFS.vfs
|
||||||
|
[ VFS.leafAttrs
|
||||||
|
"tar"
|
||||||
|
( toMap
|
||||||
|
{ name =
|
||||||
|
"${config.system.build.tarball}/tarball/${config.system.build.tarball.fileName}.tar"
|
||||||
|
}
|
||||||
|
)
|
||||||
|
]
|
||||||
|
)
|
||||||
|
'';
|
||||||
|
};
|
||||||
|
}.${config.genode.core.storeBackend};
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
|
@ -21,9 +21,9 @@ let
|
||||||
|
|
||||||
bootConfigFile = let
|
bootConfigFile = let
|
||||||
|
|
||||||
storeBackendInputs = {
|
storeBackendInputs =
|
||||||
memory = [ config.system.build.tarball ];
|
lib.optional (config.genode.core.storeBackend == "memory")
|
||||||
}.${config.genode.core.storeBackend} or [ ];
|
config.system.build.tarball;
|
||||||
|
|
||||||
coreInputs =
|
coreInputs =
|
||||||
# TODO: get rid of this?
|
# TODO: get rid of this?
|
||||||
|
|
Loading…
Reference in New Issue