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.