L4Linux freezes

Hi,

I've compiled and installed Fiasco and L4Linux-2.6 and it works, except that when I start a simple test program that creates lots of pthreads, the whole L4Linux task freezes (simply pthread_create() a thousand threads after each other is enough to reproduce the problem). I can ping the machine from another host, but can't login through ssh, the console becomes totally unresponsive, etc.

At the same time, the following message appears in the log:

simplets| ERROR: task #23 doesn't match: client 10.03, owner 0.0 l4lx | l4ts_create_task(): failed (server=7.00, ret=-3, exc=0)

Other L4 tasks continue running uncluttered.

Do you have an idea why this happens? Is this a bug in Fiasco, or is it a misconfiguration problem?

-vili