How can I destroy a kernel object
30 Aug
2011
30 Aug
'11
12:22 a.m.
Hello, Is there any L4RE API that allows me to destroy a kernel object that is created via l4_factory_create_xxx? Thanks. Chen
30 Aug
30 Aug
1:22 p.m.
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/
5299
Age (days ago)
5300
Last active (days ago)
1 comments
2 participants
participants (2)
-
Adam Lackorzynski -
Chen Tian