2
0
Fork 0

fixup romModules

This commit is contained in:
Emery Hemingway 2020-12-15 14:22:24 +01:00
parent db10a5b110
commit 1a95e124df
1 changed files with 7 additions and 4 deletions

View File

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