29 Aug
2011
29 Aug
'11
10:22 p.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