On Sun Oct 11, 2009 at 22:17:49 +0800, Guanghui, Cheng wrote:
From the l4-x2 manual it is said the reply from the exception handler contains a label, an instruction pointer where the faulting thread is resumed. I want to know whether it is implemented in the Fiasco. I try to do this. Modify the utcb before send ipc resume the exception thread but it seems no any effect about the instruction pointer and stack pointer of resumed exception thread.
My guess would be that you did not set the number of words to send in the reply. Set L4_UTCB_EXCEPTION_REGS_SIZE in the msgtag-words field of the reply.
Adam