vbox guests need name
This commit is contained in:
parent
d1d6395fc4
commit
a4f86d2d61
|
@ -96,24 +96,27 @@ in {
|
||||||
}.${cfg.bootFormat};
|
}.${cfg.bootFormat};
|
||||||
|
|
||||||
in {
|
in {
|
||||||
|
inherit name;
|
||||||
|
value = {
|
||||||
|
|
||||||
inherit (cfg) routeToNics;
|
inherit (cfg) routeToNics;
|
||||||
|
|
||||||
inputs = with pkgs.genodePackages; [ libiconv vbox5 vfs_pipe ];
|
inputs = with pkgs.genodePackages; [ libiconv vbox5 vfs_pipe ];
|
||||||
|
|
||||||
coreROMs = [ "platform_info" ];
|
coreROMs = [ "platform_info" ];
|
||||||
|
|
||||||
configFile = pkgs.writeText "${name}.vbox.dhall" ''
|
configFile = pkgs.writeText "${name}.vbox.dhall" ''
|
||||||
${./vbox-guest.dhall}
|
${./vbox-guest.dhall}
|
||||||
{ bootFilename = "${boot.filename}"
|
{ bootFilename = "${boot.filename}"
|
||||||
, bootFormat = "${boot.format}"
|
, bootFormat = "${boot.format}"
|
||||||
, bootPkg = "${boot.storeRoot}"
|
, bootPkg = "${boot.storeRoot}"
|
||||||
, bootUuid = ${boot.uuid}
|
, bootUuid = ${boot.uuid}
|
||||||
, memorySize = ${toString cfg.memorySize}
|
, memorySize = ${toString cfg.memorySize}
|
||||||
, nicLabels = ${builtins.toJSON cfg.routeToNics} : List Text
|
, nicLabels = ${builtins.toJSON cfg.routeToNics} : List Text
|
||||||
, vmName = "${vmName}"
|
, vmName = "${vmName}"
|
||||||
}
|
}
|
||||||
'';
|
'';
|
||||||
|
};
|
||||||
}) config.genode.vbox.guests;
|
}) config.genode.vbox.guests;
|
||||||
|
|
||||||
};
|
};
|
||||||
|
|
Loading…
Reference in New Issue