\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