A First Look at RISC-V Virtualization from an Embedded Systems Perspective

03/27/2021
by   Bruno Sá, et al.
0

This article describes the first public implementation and evaluation of the latest version of the RISC-V hypervisor extension (H-extension v0.6.1) specification in a Rocket chip core. To perform a meaningful evaluation for modern multi-core embedded and mixedcriticality systems, we have ported Bao, an open-source static partitioning hypervisor, to RISC-V. We have also extended the RISC-V platformlevel interrupt controller (PLIC) to enable direct guest interrupt injection with low and deterministic latency and we have enhanced the timer infrastructure to avoid trap and emulation overheads. Experiments were carried out in FireSim, a cycle-accurate, FPGA-accelerated simulator, and the system was also successfully deployed and tested in a Zynq UltraScale+ MPSoC ZCU104. Our hardware implementation was opensourced and is currently in use by the RISC-V community towards the ratification of the H-extension specification.

READ FULL TEXT

page 2

page 5

page 11

research
12/12/2016

Copycat: A High Precision Real Time NAND Simulator

In this paper, we describe the design and implementation of a high preci...
research
02/17/2020

A Lightweight ISA Extension for AES and SM4

We describe a lightweight RISC-V ISA extension for AES and SM4 block cip...
research
08/02/2018

The BaseJump Manycore Accelerator Network

The BaseJump Manycore Accelerator-Network is an open source mesh-based O...
research
10/21/2021

Vortex: Extending the RISC-V ISA for GPGPU and 3D-GraphicsResearch

The importance of open-source hardware and software has been increasing....
research
07/07/2020

The gem5 Simulator: Version 20.0+

The open-source and community-supported gem5 simulator is one of the mos...
research
11/13/2019

An E2E Simulator for 5G NR Networks

As the specification of the new 5G NR standard proceeds inside 3GPP, the...
research
12/12/2017

Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals

Property Specification Patterns (PSPs) have been proposed to solve recur...

Please sign up or login with your details

Forgot password? Click here to reset