remote_rom: update to 17.05

Ref #74
This commit is contained in:
Johannes Schlatow
2017-08-07 19:02:23 +02:00
committed by Norman Feske
parent e7e44936a8
commit 701bd3e95d
5 changed files with 6 additions and 0 deletions

View File

@@ -33,6 +33,7 @@ install_config {
<default-route>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<default caps="100" />
<start name="timer">
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>

View File

@@ -31,6 +31,7 @@ install_config {
<default-route>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<default caps="100" />
<start name="timer">
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>

View File

@@ -31,6 +31,7 @@ install_config {
<default-route>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<default caps="100" />
<start name="timer">
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>

View File

@@ -255,6 +255,7 @@ namespace Component {
Genode::size_t stack_size() { return 2*1024*sizeof(long); }
void construct(Genode::Env &env)
{
env.exec_static_constructors();
static Remote_rom::Main main(env);
}
}

View File

@@ -133,6 +133,8 @@ namespace Component {
void construct(Genode::Env &env)
{
env.exec_static_constructors();
Genode::Attached_rom_dataspace config = { env, "config" };
try {
Genode::Xml_node remote_rom = config.xml().sub_node("remote_rom");