Debug: how to enumerate all kernel objects

Евгений Федотов zhenekff at
Thu Feb 7 13:56:15 CET 2013

 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,
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list