denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

depot_deploy: customization hooks for start nodes

Browse Source 
This patch enables the manual customization of 'ram', 'caps', and
'version' attributes of start nodes.
This commit is contained in:
Norman Feske
2018-02-14 21:51:06 +01:00
parent 7260a16f67
commit cc8b03ae4f
1 changed files with 10 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
repos/gems/src/app/depot_deploy/child.h
View File

@@ -131,8 +131,11 @@ class Depot_deploy::Child : public List_model<Child>::Element
Xml_node const runtime = pkg.sub_node("runtime"); Xml_node const runtime = pkg.sub_node("runtime");
_ram_quota = Ram_quota { runtime.attribute_value("ram", Number_of_bytes()) }; Number_of_bytes const ram { runtime.attribute_value("ram", Number_of_bytes()) };
_cap_quota = Cap_quota { runtime.attribute_value("caps", 0UL) }; _ram_quota = Ram_quota { _start_xml->xml().attribute_value("ram", ram) };
unsigned long const caps = runtime.attribute_value("caps", 0UL);
_cap_quota = Cap_quota { _start_xml->xml().attribute_value("caps", caps) };
_binary_name = runtime.attribute_value("binary", Binary_name()); _binary_name = runtime.attribute_value("binary", Binary_name());
_config_name = runtime.attribute_value("config", Config_name()); _config_name = runtime.attribute_value("config", Config_name());
@@ -175,6 +178,11 @@ void Depot_deploy::Child::gen_start_node(Xml_generator &xml, Xml_node common) co
xml.attribute("name", _name); xml.attribute("name", _name);
xml.attribute("caps", _cap_quota.value); xml.attribute("caps", _cap_quota.value);
typedef String<64> Version;
Version const version = _start_xml->xml().attribute_value("version", Version());
if (version.valid())
xml.attribute("version", version);
xml.node("binary", [&] () { xml.attribute("name", _binary_name); }); xml.node("binary", [&] () { xml.attribute("name", _binary_name); });
xml.node("resource", [&] () { xml.node("resource", [&] () {