Hi, I am working on ARM virtualization extensions. Is there a development board with ARMv7-A processor (virtualization extensions). Or I have to use OVP?
Yes, there are. e.g. check the Arndale exynos 5250 board featuring a dual core cortex A15 and there are also another board from TI.
Regards,