Ruslan Bukin's repositories
riscv-sbi-doc
Documentation for the RISC-V Supervisor Binary Interface
edk2
EDK II
cheribsd
FreeBSD adapted for the CHERI CPU.
edk2-platforms
EDK II sample platform branches and tags
cheribsd-ports
FreeBSD ports tree adapted for CheriBSD.
nrf5340
A Bluetooth demo app for nRF5340-DK
cheriot-rtos
The RTOS components for the CHERIoT research platform
qtwayland
A toolbox for making Qt based Wayland compositors
kwin
Easy to use, but flexible, X Window Manager and Wayland Compositor
mesa-drm
Direct Rendering Manager headers and kernel modules
sqlite
SQLite adapted for CHERI
qtbase
QtBase with CHERI support
wayland
test apps
mdepx-boards
legacy board support
Awesome_RISCV-AllwinnerD1
Allwinner D1 For RISCV-64 Boards Awesome.
RISCV_gdbstub
A gdbstub for connecting GDB to a RISC-V Debug Module
cheribuild
Easily build and run CHERI related projects
freebsd-head
FreeBSD RISC-V/MIPS/ARM development
libmcp2221
MCP2221 HID Library
riscv-openocd
Fork of OpenOCD that has RISC-V microcontroller support
freebsd-riscv
FreeBSD/RISC-V development
freebsd-quarterly
FreeBSD quarterly reports
freebsd-sgx
FreeBSD support for Intel SGX SDK
riscv-pk
RISC-V Proxy Kernel