fprov-l4 problem
Adam Lackorzynski
adam at os.inf.tu-dresden.de
Tue Jun 21 13:42:33 CEST 2005
On Mon Jun 20, 2005 at 16:33:43 +0200, fabs0028 at free.fr wrote:
> I would like to launch some l4 programs from l4linux so i need to run fprov-l4
> first but when i do so, i got a message telling me that fprov is running and
> then my system crash (it freezes totally and i have no choice but reboot).
>
> it seems that fprov-l4 got stuck on a system call (it hangs on a int $0x80)
Did you patch the binary (with 'twiddle', still necessary)? But in any
case it should not hang on an int80. Can you provide me the EIP of the
program?!
Adam
--
Adam adam at os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/
More information about the l4-hackers
mailing list