On Wed, 2024-09-25 at 22:32 +0200, Benjamin Berg wrote: > > Fix this issue using a new IRQ that is fired after a SIGCHLD and keeping > an (internal) list of all MMs. Maybe that would be nicer with an xarray indexed by pid? The list could get quite long I suppose? johannes