Virtualisierung des Rust-Unikernels Hermit auf L4Re

Der komplett in der speichersicheren Programmiersprache Rust geschriebene Unikernel Hermit verspricht eine sichere und leichtgewichtige Lösung für High-Performance- und Cloud-Computing-Umgebungen. Dieser Vortrag wird einen Überblick über Hermit geben und untersuchen wie Hermit auf dem mikrokernbasierten Betriebssystem L4Re nutzbar ist. Außerdem wird dabei am Beispiel von Hermit erörtert, inwiefern sich Rust zur Betriebssystementwicklung eignet. Weiterhin werden die Herausforderungen der Portierung von Hermit auf den Virtual-Machine-Monitor von L4Re beschrieben und die Lösung in einer Demo präsentiert.

(Presentation Research Project)