Re: [PATCH]: gnumach - simplify interrupt handling

[Samuel Thibault]

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