vbox - Revision 104448: /trunk/src/VBox/Devices/EFI/Firmware/OvmfPkg/XenResetVector
..
Ia16/
Ia32/
XenResetVector.inf
XenResetVector.nasmb