ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-24 07:46:42 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: add VM service

Browse Source 
Fixes #3396
This commit is contained in:
Alexander Boettcher 2019-06-01 14:39:38 +02:00 committed by Christian Helmuth
parent e2c1ce2add
commit c58acbd444
2 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
repos/gems/run/sculpt.run
View File

@ -30,6 +30,7 @@ install_config {
<service name="CPU"/> <service name="CPU"/>
<service name="LOG"/> <service name="LOG"/>
<service name="TRACE"/> <service name="TRACE"/>
<service name="VM"/>
</parent-provides> </parent-provides>
<default-route> <default-route>

2
repos/gems/src/app/sculpt_manager/main.cc
View File

@ -17,6 +17,7 @@
#include <base/attached_rom_dataspace.h> #include <base/attached_rom_dataspace.h>
#include <os/reporter.h> #include <os/reporter.h>
#include <nitpicker_session/connection.h> #include <nitpicker_session/connection.h>
#include <vm_session/vm_session.h>
/* included from depot_deploy tool */ /* included from depot_deploy tool */
#include <children.h> #include <children.h>
@ -1240,6 +1241,7 @@ void Sculpt::Main::_generate_runtime_config(Xml_generator &xml) const
gen_parent_service<Pd_session>(xml); gen_parent_service<Pd_session>(xml);
gen_parent_service<Rm_session>(xml); gen_parent_service<Rm_session>(xml);
gen_parent_service<Log_session>(xml); gen_parent_service<Log_session>(xml);
gen_parent_service<Vm_session>(xml);
gen_parent_service<Timer::Session>(xml); gen_parent_service<Timer::Session>(xml);
gen_parent_service<Report::Session>(xml); gen_parent_service<Report::Session>(xml);
gen_parent_service<Platform::Session>(xml); gen_parent_service<Platform::Session>(xml);