30 Aug
2011
30 Aug
'11
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/