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