Skip to content

A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one

License

Notifications You must be signed in to change notification settings

pydrofoil/pydrofoil

Repository files navigation

Fast RISC-V Sail emulation using PyPy/RPython's JIT compiler

CI Status Documentation Status

This repository contains Pydrofoil, an experimental emulator for RISC-V based on the Sail RISC-V ISA model. It achieves fast performance by doing dynamic binary translation (aka just-in-time compilation) from RISC-V guest instructions into host machine instructions. It's built on top of the RPython meta-jit compiler and reuses all its optimizations, backends, etc. The emulator is complete enough to boot (an old version of) Linux up to the login prompt.

It also contains an even more experimental emulator for Aarch64 version 9.4, based on the Sail ARM ISA model, which is itself automatically generated from the ASL code that ARM provides. Booting Linux on that emulator is possible, at least up to the point where the init process starts.

See https://docs.pydrofoil.org for the complete documentation