ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Sculpt: redirect "nic_drv" binary to "ipxe_nic_drv" 

Ref #2190
Fix #3374
This commit is contained in:
Ehmry - 2019-05-24 14:14:56 +02:00 committed by Christian Helmuth
parent b3a9ad2215
commit fc68e97e4a
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/gems/src/app/sculpt_manager/runtime/nic_drv.cc
View File

@ -17,6 +17,8 @@ void Sculpt::gen_nic_drv_start_content(Xml_generator &xml)
{
gen_common_start_content(xml, "nic_drv", Cap_quota{300}, Ram_quota{16*1024*1024});
xml.node("binary", [&] () { xml.attribute("name", "ipxe_nic_drv"); });
gen_provides<Nic::Session>(xml);
xml.node("config", [&] () { });
@ -26,7 +28,7 @@ void Sculpt::gen_nic_drv_start_content(Xml_generator &xml)
xml.node("parent", [&] () {
xml.attribute("label", "nic"); }); });
gen_parent_rom_route(xml, "nic_drv");
gen_parent_rom_route(xml, "ipxe_nic_drv");
gen_parent_rom_route(xml, "ld.lib.so");
gen_parent_route<Cpu_session> (xml);
gen_parent_route<Pd_session> (xml);