Samuel Thibault, le lun. 11 nov. 2019 19:06:21 +0100, a ecrit: > 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.
I have cleaned the support in master-user_level_drivers a bit. I have added counting disables, and added proper interaction with user-delivered interrupts. It seems to be going fine, I could drive both an ahci device from gnumach and a network card from netdde at the same time. I have uploaded that to debian. The interface should however be cleaned. We really need to add a port to the user_intr_enable instead of just the line number, so that counting can be done properly. We could use the send-once port for that. Samuel
