How can I destroy a kernel object

Chen Tian chen.tian at acm.org
Tue Aug 30 00:22:49 CEST 2011


Hello,

Is there any L4RE API that allows me to destroy a kernel object that
is created via l4_factory_create_xxx?

Thanks.
Chen




More information about the l4-hackers mailing list