ehmry/genodepkgs
ehmry
/
genodepkgs
2
0
Fork 0
Code Releases Activity

fixup romModules

This commit is contained in:
Ehmry - 2020-12-15 14:22:24 +01:00
parent a21f54ab00
commit 67a95eb6d2
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
nixos-modules/genode-core.nix
View File

@ -287,10 +287,13 @@ in {
(with pkgs.genodePackages; (with pkgs.genodePackages;
config.genode.core.basePackages ++ storeBackendInputs config.genode.core.basePackages ++ storeBackendInputs
++ [ init cached_fs_rom jitter_sponge report_rom vfs ] ++ [ init cached_fs_rom jitter_sponge report_rom vfs ]
++ coreInputs)) + ''# [ { mapKey = "romModules", mapValue = [ '' ++ coreInputs))
+ (toString + lib.optionalString (config.genode.boot.romModules != { }) ''
(mapAttrsToList (k: v: '', { mapKey = "${k}", mapValue = "${v}" }'') # [ { mapKey = "romModules", mapValue = [ ${
config.genode.boot.romModules)) + " ] } ]"); toString (mapAttrsToList
(k: v: '', { mapKey = "${k}", mapValue = "${v}" }'')
config.genode.boot.romModules)
}] } ]'');
storeRomPolicies = mapAttrsToList storeRomPolicies = mapAttrsToList
(name: value: '', { mapKey = "${name}", mapValue = "${value}" }'') (name: value: '', { mapKey = "${name}", mapValue = "${value}" }'')