Justus Winter, le lun. 11 nov. 2019 19:03:46 +0100, a ecrit: > I remember thinking about using a send-once right that when deallocated > enables the interrupt again. This should be a) well optimized, and b) > robust in the face of misbehaving userland.
I was thinking about something like that to be able to restore proper state when the process is killed, indeed. Samuel
