A software stack to boot a dual-OS system - Linux as the Rich OS and Zephyr as the RTOS - running in parallel using Xen as a type-1 hypervisor, is available here.