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

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list