ehmry/sigil
ehmry
/
sigil
1
0
Fork 0
Code Issues Pull Requests Projects Releases Activity

nixos: support for an empty second-level init

This commit is contained in:
Ehmry - 2021-03-20 19:50:32 +01:00
parent 21471b5754
commit d85ba92b5a
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
nixos-modules/genode-init.nix
View File

@ -108,8 +108,8 @@ in {
configFile = let configFile = let
children = children = lib.mapAttrsToList
lib.mapAttrsToList (name: value: ", `${name}` = ${value.config} ") (name: value: '', { mapKey = "${name}", mapValue = ${value.config} }'')
children'; children';
nicRoutes = lib.mapAttrsToList (child: value: nicRoutes = lib.mapAttrsToList (child: value:
@ -129,7 +129,9 @@ in {
in baseConfig // { in baseConfig // {
, verbose = ${if config.genode.init.verbose then "True" else "False"} , verbose = ${if config.genode.init.verbose then "True" else "False"}
, children = baseConfig.children # toMap {${toString children} } , children = baseConfig.children # ([ ${
toString children
} ] : Genode.Init.Children.Type)
, routes = baseConfig.routes # ([${ , routes = baseConfig.routes # ([${
toString nicRoutes toString nicRoutes
}] : List Genode.Init.ServiceRoute.Type) }] : List Genode.Init.ServiceRoute.Type)