On Thu, Jan 07, 2016 at 10:19:55PM +0100, Mark Kettenis wrote:
> The sensible default polarity is active-low for level-triggered
> interrupts whereas it is active-high for edge-triggered ones. We do
> this correctly when the BIOS explicitly tells us that it wants
> defaults. But we also should do
The sensible default polarity is active-low for level-triggered
interrupts whereas it is active-high for edge-triggered ones. We do
this correctly when the BIOS explicitly tells us that it wants
defaults. But we also should do it when the BIOS gives us no
information. Fortunately this is easy.
