/src/VBox/Devices/EFI/Firmware/OvmfPkg/XenResetVector/

• ../
• Ia16
• Ia32
• XenResetVector.inf
• XenResetVector.nasmb