fprov-l4 problem

[fabs0028 at free.fr]

Hello,
well now my l4linux is fully working and i find it pretty fast (except when i
left only 32mB of ram for l4linux of course).

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)

Thanx for your help :)

Fabien Chaillou