Re: How can I destroy a kernel object

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@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/