demo: make cancel_blocking working

- remove special handling from base-nova
- add to rpc_server where it actually should be applied to
- required to work for sel4 cancel_blocking

Issue #2044
This commit is contained in:
Alexander Boettcher
2016-07-29 13:36:43 +02:00
committed by Christian Helmuth
parent 7b35927147
commit 5a0bc07d30
4 changed files with 14 additions and 8 deletions

View File

@ -206,6 +206,12 @@ class Launchpad_child : public Genode::List<Launchpad_child>::Element
_entrypoint.activate();
}
/**
* Required to forcefully kill client which blocks on a session
* opening quest where the service is not up yet.
*/
void cancel_blocking() { _entrypoint.cancel_blocking(); }
Genode::Rom_session_capability rom_session_cap() { return _rom; }
Genode::Ram_session_capability ram_session_cap() { return _ram; }
Genode::Cpu_session_capability cpu_session_cap() { return _cpu; }