Justus Winter, on Sun 28 Feb 2016 00:33:20 +0100, wrote: > 3/ ... instead the notification message carries a send right as the > reply port, and the userspace server acknowledges the interrupt by > deallocating this right.
That makes much more sense to me than the current disable/enable. I guess that this will allow on the long run to have shared interrupts? Samuel
