It's QEMU based i think that corellium are using their proprietary hypervisor

Yes, Corellium does not use QEMU.