Re: [PATCH]: gnumach - simplify interrupt handling

[Samuel Thibault]

Samuel Thibault, le dim. 10 nov. 2019 16:22:04 +0100, a ecrit:
> Ok, I have restored some of the mask/unmask_irq, so that curr_pic_mask
> will still exist, but without the notion of spl: it will just store
> which IRQs have been effectively disabled. That'll already be good for a
> first step :)

And we'll have to rethink this all against edge/level-triggered
interrupts etc. for the interface for userlevel interrupts.

Samuel