Teaclave TrustZone SDK enables safe, functional, and ergonomic development of trustlets.

Trusted side of the TEE

ALFA Monitor

This is the main repository of the ALFA framework project! Jump here to start developping with ALFA.

My favorite C programming practices.

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, excepti…

Modular visual interface for GDB in Python

Lane Detection for autonomous driving done in python/C++ OpenCV

Bao, a Lightweight Static Partitioning Hypervisor

1-Wire bus implementation over GPIO on FT232H

OpenEmbedded/Yocto layer for RISC-V Architecture

Proposal for a RISC-V Core-Local Interrupt Controller (CLIC)

RISC-V IOMMU Specification

PLIC Specification