#\r
gArmTokenSpaceGuid.PcdGicDistributorBase|0x10041000\r
gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase|0x10040000\r
+ gArmTokenSpaceGuid.PcdGicNumInterrupts|96\r
\r
#\r
# ARM OS Loader\r
EmbeddedPkg/SimpleTextInOutSerial/SimpleTextInOutSerial.inf\r
\r
ArmPlatformPkg/ArmRealViewEbPkg/FvbDxe/FvbDxe.inf\r
- ArmPlatformPkg/ArmRealViewEbPkg/InterruptDxe/InterruptDxe.inf\r
+ ArmPkg/Drivers/PL390Gic/PL390GicDxe.inf\r
ArmPlatformPkg/Drivers/SP804TimerDxe/SP804TimerDxe.inf\r
\r
#\r
#
gArmTokenSpaceGuid.PcdGicDistributorBase|0x10041000
gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase|0x10040000
+ gArmTokenSpaceGuid.PcdGicNumInterrupts|96
#
# ARM OS Loader
EmbeddedPkg/SimpleTextInOutSerial/SimpleTextInOutSerial.inf
ArmPlatformPkg/ArmRealViewEbPkg/FvbDxe/FvbDxe.inf
- ArmPlatformPkg/ArmRealViewEbPkg/InterruptDxe/InterruptDxe.inf
+ ArmPkg/Drivers/PL390Gic/PL390GicDxe.inf
ArmPlatformPkg/Drivers/SP804TimerDxe/SP804TimerDxe.inf
#
INF EmbeddedPkg/SimpleTextInOutSerial/SimpleTextInOutSerial.inf
- INF ArmPlatformPkg/ArmRealViewEbPkg/InterruptDxe/InterruptDxe.inf
+ INF ArmPkg/Drivers/PL390Gic/PL390GicDxe.inf
INF ArmPlatformPkg/Drivers/SP804TimerDxe/SP804TimerDxe.inf
#
\r
INF EmbeddedPkg/SimpleTextInOutSerial/SimpleTextInOutSerial.inf\r
\r
- INF ArmPlatformPkg/ArmRealViewEbPkg/InterruptDxe/InterruptDxe.inf\r
+ INF ArmPkg/Drivers/PL390Gic/PL390GicDxe.inf\r
INF ArmPlatformPkg/Drivers/SP804TimerDxe/SP804TimerDxe.inf\r
\r
#\r