How can I destroy a kernel object

Adam Lackorzynski adam at
Tue Aug 30 13:22:14 CEST 2011


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 at

More information about the l4-hackers mailing list