Hello,
Is there any L4RE API that allows me to destroy a kernel object that is created via l4_factory_create_xxx?
Thanks. Chen
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
l4-hackers@os.inf.tu-dresden.de