/OvmfPkg/XenResetVector/

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