2008/1/22, Adam Lackorzynski <adam at 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