Virtualization

= Xen =

Static Partitioning Made Simple [ELC 2019]
Presenter: Stefano Stabellini, Xilinx Summary: This presentation talks about static partitioning -- used to split an embedded system into multiple domains, each of them having access only to a portion of the hardware on the SoC. This talk also explains how to use Xen for static partitioning. It will introduce dom0-less, a new Xen feature written for the purpose and on how to setup a Xen dom0-less system.


 * PDF | PDF

Xen and the Art of Embedded Systems Virtualization [ELC 2017]
Presenter: Stefano Stabellini, Aporeto Summary: This talk will explain why hypervisors are used in embedded and the unique challenges posed by these environments to virtualization technologies. It also talks about Xen, a popular open source hypervisor, which was born to virtualize x86 Linux systems for the data center.


 * VIDEO

Xen in Embedded Systems [ELCE 2010]
Presenter: Xen in Embedded Systems Summary: This presentation examines the integration of Xen* Virtualisation into embedded systems. It covers effective partitioning of system resources for deterministic embedded applications.


 * PDF

Trusted Secure Isolation For Embedded Linux [ELCE 2007]
Presenter: Hadi Nahari Summary: This presentation talks about Isolation, Isolation vs. Separation, Isolation requirements, what’s Secure Isolation and MontaVista Xen-ARM project.


 * PDF

= Virtualization =

BoF: Embedded Virtualization [ELC 2011]
Presenter: Greg Ungerer, Accelerated Concepts Summary: This presentation provides information about the benefits and problems of virtualization in embedded Linux platforms.


 * PDF | VIDEO

The LLVM MIPS and ARM Back-ends [ELCE 2009]
Presenter: Bruno Cardoso Lopes Summary: This presentation talks about what’s LLVM?, LLVM design, CodeGen and the MIPS and ARM back-end.


 * PDF

= QEMU =

Dynamic Co-simulation of FPGA-based Linux Systems-on-Chip [ELC 2011]
Presenter: John Williams (PetaLogix) Summary: This presentation provides information about Dynamic QEMU platforms and External device models.


 * PDF

Using QEMU for Industrial Embedded Applications [ELCE 2009]
Presenter: Pierre Ficheux Summary: This presentation talks about what is QEMU, installing QEMU, using QEMU in a standard way, QEMU for embedded development and hacking QEMU.


 * PDF