search

andreiw / RaspberryPiPkg

DEPRECATED - DO NOT USE | Go here instead ->
https://github.com/tianocore/edk2-platforms/tree/master/Platform/RaspberryPi/RPi3
744 stars 143 forks source link

SPCR needs to report an interruptType #78

Closed andreiw closed 5 years ago

andreiw commented 5 years ago

Without the interruptType, it's hard to know there's a valid IRQ/GSIV to be looking at.

Maybe just set all bits (GIC, IOAPIC, IOSAPIC) that imply a valid GSIV.

andreiw commented 5 years ago

Fixed