Debug: how to enumerate all kernel objects

[Евгений Федотов]

 Hello, L4 Hackers!
My question is: 
How to retrieve all kernel object list (threads, tasks, IRQs, Gates) in non-interactive way?   Since Fiasco JDB stores the full list of objects,  is there any l4_invoke_debugger call to retrieve object information from order number or ID?

Best regards,
Eugene.
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130207/432a48be/attachment.html>