2008/1/22, Adam Lackorzynski adam@os.inf.tu-dresden.de:
You're right that the slab objects themselves were not locked. The fix was not as easy as proposed but I think I have fixed this (update l4env and l4rm packages). I hope this fixes your issue.
Thank you for this patch. We will test it this afternoon and tonight.
Regards Marc