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

sel4: initialize rcv_sel for ep threads

Browse Source 
Issue #2044
This commit is contained in:
Alexander Boettcher 2016-06-29 17:04:05 +02:00 committed by Christian Helmuth
parent c68bca1f89
commit 43f2784564
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
repos/base-sel4/src/lib/base/ipc.cc
View File

@ -308,6 +308,9 @@ Genode::Rpc_request Genode::ipc_reply_wait(Reply_capability const &last_caller,
Msgbuf_base &reply_msg,
Msgbuf_base &request_msg)
{
if (!rcv_sel())
rcv_sel() = Capability_space::alloc_rcv_sel();
seL4_Word badge = 0;
if (exc.value == Rpc_exception_code::INVALID_OBJECT) {