Francisco Marques's repositories
Neneco-FreeRTOS-On-RPI4B
Neneco project is an unofficial port of FreeRTOS for Raspberry Pi 4 Model B.
bao-hypervisor
Bao, a Lightweight Static Partitioning Hypervisor
apb_timer
APB Timer Unit
Language:SystemVerilogNOASSERTION000
bao-baremetal-guest
A simple bare-metal for testing out bao
Language:CApache-2.0000
bao-demos
A guide on how to build and use a set of Bao guest configurations for various platforms
Language:MakefileNOASSERTION000
culsans
Tightly-coupled cache coherence unit for CVA6 using the ACE protocol
Language:C000
cva6
The CORE-V CVA6 is an Application class 6-stage RISC-V CPU capable of booting Linux
Language:C++NOASSERTION000
cva6-sdk
CVA6 SDK containing RISC-V tools and Buildroot
Language:Makefile000
Language:CNOASSERTION000
iDMA
A modular, parametrizable, and highly flexible Data Movement Accelerator (DMA)
Language:SystemVerilogNOASSERTION000
linux-aia
Linux kernel source tree
Language:CNOASSERTION000
opensbi
RISC-V Open Source Supervisor Binary Interface
Language:CNOASSERTION000
riscv-aia
AIA IP compliant with the RISC-V AIA spec
Language:SystemVerilogApache-2.0000
verilator
Verilator open-source SystemVerilog simulator and lint system
Language:C++LGPL-3.0000