Hi L4-hackers,
i am currently working on a checkpoint/restore component (for the Genode framework) which aims at the migration of processes/components.
When I first start the target component of the checkpointer, its object looks like this:
000204 :0016e* Gate 0015f* Gate 00158* Gate 00152* Gate 000208 :00154* Gate 0017e* Gate 0017f* Gate 00179* Gate 00020c :00180* Gate 00188* Gate -- -- 000210 : -- -- 0018a* Gate 0018c* Gate 000214 :0018e* Gate 00196* Gate 00145* Gate 00144* IRQ 000218 :00198* Gate -- -- -- 00021c : -- 0019c* Gate -- --
At position 000217 is an IRQ object which is used for signaling. I would like to know if this IRQ object carries any information which I need to store in order to recreate a new IRQ object for the restarted component.
If you are interested in more context you can take a look at: https://sourceforge.net/p/genode/mailman/message/35904942/
Kind Regards, David Werner