How can I destroy a kernel object

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

Previous message (by thread): L4Android minor issue report
Next message (by thread): How can I destroy a kernel object
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hello,

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

Thanks.
Chen

Previous message (by thread): L4Android minor issue report
Next message (by thread): How can I destroy a kernel object
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the l4-hackers mailing list