VM-Services on RISC-V with L4Re

RISC-V is a new instruction set architecture that is becoming increasingly popular as it is an open and freely usable architecture. Accordingly, in a previous work the microkernel-based L4Re operating system was ported to the RISC-V architecture. This thesis now aims to enable virtual environments on the RISC-V architecture to provide services throughout the L4Re system. First, the RISC-V port of L4Re was extended with the ability to host virtual machines using hardware-assisted virtualization techniques. Then, a generic IPC proxy mechanism was devised that seamlessly integrates virtual machines with L4Re's universal IPC communication mechanism. Afterwards, a Linux VM, equipped with a custom driver for the IPC proxy, was established as an L4Re service provider.

(EZAG Vortrag - Diplomverteidigung)