Pith. sign in

REVIEW 1 cited by

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

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2103.14951 v2 pith:JLYNNW55 submitted 2021-03-27 cs.AR cs.OS

classification cs.ARcs.OS
keywords risc-vembeddedevaluationfirsth-extensionhypervisorimplementationinterrupt
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Advancing Cloud Computing Capabilities on gem5 by Implementing the RISC-V Hypervisor Extension

    cs.AR 2024-11 conditional novelty 6.0 of 10

    The paper reports a working implementation of the RISC-V H hypervisor extension in gem5, validated by booting Xvisor with guest Linux and by running nine MiBench workloads with and without a VM.

Pith tools