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.