SS

Stefano Stabellini

Sort by
Xen Safety Embedded OSS Summit April 2024 v4.pdf
Safety-Certifying Open Source Software: The Case of the Xen Hypervisor
Xen in Safety-Critical Systems - Critical Summit 2022
System Device Tree and Lopper: Concrete Examples - ELC NA 2022
Static Partitioning with Xen, LinuxRT, and Zephyr: A Concrete End-to-end Example - ELC NA 2022
ELC21: VM-to-VM Communication Mechanisms for Embedded
RunX ELCE 2020
RunX: deploy real-time OSes as containers at the edge
System Device Tree update: Bus Firewalls and Lopper
Cache coloring Xen Summit 2020
Xen Cache Coloring: Interference-Free Real-Time System
Dom0less - Xen Developer Summit 2019
Xen on ARM for embedded and IoT: from secure containers to dom0less systems
Xen and the art of embedded virtualization (ELC 2017)
Xen Project for ARM Servers