dasharo/edk2-platforms
0
0
Fork 0
mirror of https://github.com/Dasharo/edk2-platforms.git synced 2026-03-06 14:51:43 -08:00
Code Issues Packages Projects Releases Wiki Activity

Platforms/RaspberryPi: Fix RPi4 GICC PMU PPI

Browse Source 
Arm SBSA specification section ver 6.0, 4.1.5 defines specific PPI
values for certain standard interrupt IDs. The value for
"Performance Monitors Interrupt" needs to be 23.

REF: https://developer.arm.com/documentation/den0029/latest

This partially fixes SBSA test #11 ("Incorrect PPI value") reported in
https://github.com/pftf/RPi4/issues/74

Cc: Leif Lindholm <leif@nuviainc.com>
Cc: Pete Batard <pete@akeo.ie>
Cc: Andrei Warkentin <awarkentin@vmware.com>
Cc: Ard Biesheuvel <ard.biesheuvel@arm.com>
Signed-off-by: Samer El-Haj-Mahmoud <samer.el-haj-mahmoud@arm.com>
Reviewed-by: Pete Batard <pete@akeo.ie>
This commit is contained in:
Samer El-Haj-Mahmoud
2020-07-28 17:00:28 -04:00
committed by Ard Biesheuvel
parent cf825de918
commit 602a7ea1ab
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
Platform/RaspberryPi/RPi4/RPi4.dsc
View File

@@ -433,10 +433,10 @@
gRaspberryPiTokenSpaceGuid.PcdGicInterruptInterfaceHBase|0xFF844000
gRaspberryPiTokenSpaceGuid.PcdGicInterruptInterfaceVBase|0xFF846000
gRaspberryPiTokenSpaceGuid.PcdGicGsivId|0x19
gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq0|0x30
gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq1|0x31
gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq2|0x32
gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq3|0x33
gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq0|23
gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq1|23
gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq2|23
gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq3|23
#
# Fixed CPU settings.