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