José Martins's repositories
riscv-hyp-tests
A bare-metal application to test specific features of the risc-v hypervisor extension
rocket-chip
Rocket Chip Generator
riscv-plic-spec
PLIC Specification
bao-hypervisor
Bao, a Lightweight Static Partitioning Hypervisor
bao-baremetal-guest
A simple bare-metal for testing out bao
bao-demos
A guide on how to build and use a set of Bao guest configurations for various platforms
cheri-exercises
Learning exercises for CHERI
cppcheck
static analysis of C/C++ code
embench-iot
The main Embench repository
firesim
FireSim: Easy-to-use, Scalable, FPGA-accelerated Cycle-accurate Hardware Simulation in the Cloud
gunyah-hypervisor
Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.
jailhouse
Linux-based partitioning hypervisor
NOVA
NOVA Microhypervisor
opensbi
RISC-V Open Source Supervisor Binary Interface
qemu
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
riscv-opcodes
RISC-V Opcodes
riscv-spmp
The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by an hart, address matching, encoding of permissions, exceptions for access violation, and support for virtualization.
simplecpp
C++ preprocessor
x86_64
Library to program x86_64 hardware.
xvisor-next
Xvisor: eXtensible Versatile hypervISOR
zephyr
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.