How can I destroy a kernel object

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue Aug 30 13:22:14 CEST 2011


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/




More information about the l4-hackers mailing list