Hi, On Mon Aug 29, 2011 at 15:22:49 -0700, Chen Tian wrote: > Is there any L4RE API that allows me to destroy a kernel object that > is created via l4_factory_create_xxx? l4_task_unmap() will do that. Adam -- Adam adam at os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/