@olivierlambert Thanks for replying.
There is a requirement to create virtual platform ( e.g. SystemC ) that is able to run a Xen Hypervisor stack. I was wondering whether there are up-to-date examples out there already.
Google says qemu has a Device Emulation Backend mode https://www.qemu.org/docs/master/system/arm/xenpvh.html
Then there seem to be a few Arm FVPs mentioned also but none seem to be up-to-date when we contact Arm.