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