Hypervisor for Arm Cortex A9

Hello all,

I am currently working on a project with a SoC Zynq development board  (Cora Z7) that has two Arm A9 processors. I would like to use a hypervisor in order to partition the software. I have been doing some research and I have come across the Xen hypervisor. Unfortunately, it is not designed for Arm A9 processors. Does anybody know any alternatives to the Xen hypervisor that I could use?

Many thanks in advance.