License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.NG-RES.2020.3
URN: urn:nbn:de:0030-drops-117795
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2020/11779/
Go to the corresponding OASIcs Volume Portal

Martins, José ; Tavares, Adriano ; Solieri, Marco ; Bertogna, Marko ; Pinto, Sandro

Bao: A Lightweight Static Partitioning Hypervisor for Modern Multi-Core Embedded Systems

pdf-format:
OASIcs-NG-RES-2020-3.pdf (0.6 MB)

Abstract

Given the increasingly complex and mixed-criticality nature of modern embedded systems, virtualization emerges as a natural solution to achieve strong spatial and temporal isolation. Widely used hypervisors such as KVM and Xen were not designed having embedded constraints and requirements in mind. The static partitioning architecture pioneered by Jailhouse seems to address embedded concerns. However, Jailhouse still depends on Linux to boot and manage its VMs. In this paper, we present the Bao hypervisor, a minimal, standalone and clean-slate implementation of the static partitioning architecture for Armv8 and RISC-V platforms. Preliminary results regarding size, boot, performance, and interrupt latency, show this approach incurs only minimal virtualization overhead. Bao will soon be publicly available, in hopes of engaging both industry and academia on improving Bao’s safety, security, and real-time guarantees.

BibTeX - Entry

@InProceedings{martins_et_al:OASIcs:2020:11779,
  author =	{Jos{\'e} Martins and Adriano Tavares and Marco Solieri and Marko Bertogna and Sandro Pinto},
  title =	{{Bao: A Lightweight Static Partitioning Hypervisor for Modern Multi-Core Embedded Systems}},
  booktitle =	{Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2020)},
  pages =	{3:1--3:14},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-136-8},
  ISSN =	{2190-6807},
  year =	{2020},
  volume =	{77},
  editor =	{Marko Bertogna and Federico Terraneo},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2020/11779},
  URN =		{urn:nbn:de:0030-drops-117795},
  doi =		{10.4230/OASIcs.NG-RES.2020.3},
  annote =	{Keywords: Virtualization, hypervisor, static partitioning, safety, security, real-time, embedded systems, Arm, RISC-V}
}

Keywords: Virtualization, hypervisor, static partitioning, safety, security, real-time, embedded systems, Arm, RISC-V
Collection: Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2020)
Issue Date: 2020
Date of publication: 20.01.2020

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI