Integrating Linux and the real-time ERIKA OS through the Xen hypervisor