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

depot_deploy: support providing CPU and PD service

Browse Source 
Issue #3837
This commit is contained in:
Alexander Boettcher
2021-02-25 11:38:18 +01:00
committed by Norman Feske
parent 7af276ac81
commit 1f29055927
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -440,6 +440,8 @@ void Depot_deploy::Child::gen_start_node(Xml_generator &xml, Xml_node common,
_gen_provides_sub_node(xml, service, "rom", "ROM");
_gen_provides_sub_node(xml, service, "terminal", "Terminal");
_gen_provides_sub_node(xml, service, "timer", "Timer");
_gen_provides_sub_node(xml, service, "pd", "PD");
_gen_provides_sub_node(xml, service, "cpu", "CPU");
});
});
}