Paravirtualizing Linux in a real-time hypervisor

Vincent Legout (1) , Matthieu Lemerre (1)

1 LIST (CEA) - Laboratoire d'Intégration des Systèmes et des Technologies

This paper describes a new hypervisor built to run Linux in a virtual machine. This hypervisor is built inside Anaxagoros, a real-time microkernel designed to execute safely hard real-time and non real-time tasks. This allows the execution of hard real-time tasks in parallel with Linux virtual machines without interfering with the execution of the real-time tasks. We implemented this hypervisor and compared performances with other virtualization techniques. Our hypervisor does not yet provide high performance but gives correct results and we believe the design is solid enough to guarantee solid performances with its future implementation.

Keywords: Linux; virtualization; hypervisor; real-time; hard real-time system; microkernel

Domains: Operating Systems [cs.OS]; Embedded Systems

Vincent Legout, Matthieu Lemerre. Paravirtualizing Linux in a real-time hypervisor. ACM SIGBED Review, 2012, 9 (2), pp.33-37. ⟨10.1145/2318836.2318842⟩. ⟨cea-00713561⟩