ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-21 22:47:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: use pc_wifi_drv

Browse Source 
Issue #4455.
This commit is contained in:
Josef Söntgen 2022-03-28 18:03:21 +02:00 committed by Christian Helmuth
parent e7e7893f22
commit dd09e900c0
1 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
repos/gems/src/app/sculpt_manager/runtime/wifi_drv.cc
View File

@ -16,11 +16,11 @@
void Sculpt::gen_wifi_drv_start_content(Xml_generator &xml)
{
gen_common_start_content(xml, "wifi_drv",
Cap_quota{200}, Ram_quota{32*1024*1024},
Cap_quota{250}, Ram_quota{32*1024*1024},
Priority::NETWORK);
xml.node("binary", [&] () {
xml.attribute("name", "legacy_pc_wifi_drv");
xml.attribute("name", "pc_wifi_drv");
});
xml.node("config", [&] () {
@ -31,6 +31,7 @@ void Sculpt::gen_wifi_drv_start_content(Xml_generator &xml)
xml.node("zero", [&] () {});
xml.node("log", [&] () {});
xml.node("null", [&] () {});
xml.node("wifi", [&] () {});
gen_named_node(xml, "jitterentropy", "random");
gen_named_node(xml, "jitterentropy", "urandom"); });
gen_named_node(xml, "inline", "rtc", [&] () {
@ -51,6 +52,7 @@ void Sculpt::gen_wifi_drv_start_content(Xml_generator &xml)
xml.attribute("name", "Uplink");
xml.node("child", [&] () {
xml.attribute("name", "nic_router");
xml.attribute("label", "wifi_drv -> ");
});
});
@ -58,15 +60,16 @@ void Sculpt::gen_wifi_drv_start_content(Xml_generator &xml)
xml.node("parent", [&] () {
xml.attribute("label", "wifi"); }); });
gen_parent_rom_route(xml, "legacy_pc_wifi_drv");
gen_parent_rom_route(xml, "pc_wifi_drv");
gen_parent_rom_route(xml, "ld.lib.so");
gen_parent_rom_route(xml, "libcrypto.lib.so");
gen_parent_rom_route(xml, "vfs.lib.so");
gen_parent_rom_route(xml, "libc.lib.so");
gen_parent_rom_route(xml, "libm.lib.so");
gen_parent_rom_route(xml, "vfs_jitterentropy.lib.so");
gen_parent_rom_route(xml, "vfs_wifi.lib.so");
gen_parent_rom_route(xml, "libssl.lib.so");
gen_parent_rom_route(xml, "legacy_wifi.lib.so");
gen_parent_rom_route(xml, "wifi.lib.so");
gen_parent_rom_route(xml, "wpa_driver_nl80211.lib.so");
gen_parent_rom_route(xml, "wpa_supplicant.lib.so");
gen_parent_rom_route(xml, "iwlwifi-1000-5.ucode");
@ -82,7 +85,10 @@ void Sculpt::gen_wifi_drv_start_content(Xml_generator &xml)
gen_parent_rom_route(xml, "iwlwifi-8000C-36.ucode");
gen_parent_rom_route(xml, "iwlwifi-8265-36.ucode");
gen_parent_rom_route(xml, "iwlwifi-9000-pu-b0-jf-b0-34.ucode");
gen_parent_rom_route(xml, "iwlwifi-9000-pu-b0-jf-b0-46.ucode");
gen_parent_rom_route(xml, "iwlwifi-QuZ-a0-hr-b0-63.ucode");
gen_parent_rom_route(xml, "regulatory.db");
gen_parent_rom_route(xml, "regulatory.db.p7s");
gen_parent_route<Cpu_session> (xml);
gen_parent_route<Pd_session> (xml);
gen_parent_route<Rm_session> (xml);