Hi，
I want to get the IPC error because I want to recover a crashed component.
I have read a paper about trust recovery in L4RE,I just want to try the
same work on Genode.
I modity the fourth parameter of L4_IPC_CALL ,now I can get a timeout
error,so I can continue my research.
Regards
2013/9/
Hello Yuqing Wang,
> I used launchpad to start a hello_client and hello_server.I closed
> hello_server and expected the call from hello_client could cause an ipc
> error ,because the target is not exist .
I cannot give you details about the Fiasco.OC-specific part of your
question but I welcome
Hi,
On Thu, Sep 26, 2013 at 12:30:28AM +0800, yuqing wang wrote:
> I used launchpad to start a hello_client and hello_server.I closed
> hello_server and expected the call from hello_client could cause an ipc
> error ,because the target is not exist .
>
[...]
> if(ipc_error==L4_IPC_ENOT_EXIS
Hi
I used launchpad to start a hello_client and hello_server.I closed
hello_server and expected the call from hello_client could cause an ipc
error ,because the target is not exist .
I modify the l4_ipc_call function in file ipc-l42-gcc-nopic.h
L4_INLINE l4_msgtag_t
l4_ipc_call(l4_cap_idx_t des
