About the exception ipc reply

[Guanghui, Cheng]

Hello:
	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.
	Thanks.
						Cheng Guanghui
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20091011/f26135a6/attachment.html>