OpenOCD modified for the Xvisor Project