Using Xen and KVM as real-time hypervisors