vbox - Revision 104448: /trunk/src/VBox/Devices/EFI/Firmware/ArmPlatformPkg/Drivers
..
LcdGraphicsOutputDxe/
PL061GpioDxe/
SP805WatchdogDxe/