Pinned Repositories
4g-connect-linux
Huawei E3276 USB LTE modem connection script for Linux that uses AT commands to get the connection running.
aarch64-tools
Awesome_RISCV-AllwinnerD1
Allwinner D1 For RISCV-64 Boards Awesome.
cheribsd
FreeBSD adapted for the CHERI CPU.
freebsd-riscv
FreeBSD/RISC-V development
freebsd-sgx
FreeBSD support for Intel SGX SDK
hwt
mdepx
MIPS, RISC-V and ARM SDK
pic32prog
Flash programming utility for Microchip PIC32 microcontrollers
mdepx
MDX — A BSD-style RTOS
bukinr's Repositories
bukinr/freebsd-riscv
FreeBSD/RISC-V development
bukinr/freebsd-sgx
FreeBSD support for Intel SGX SDK
bukinr/hwt
bukinr/mdepx
MIPS, RISC-V and ARM SDK
bukinr/pic32prog
Flash programming utility for Microchip PIC32 microcontrollers
bukinr/Awesome_RISCV-AllwinnerD1
Allwinner D1 For RISCV-64 Boards Awesome.
bukinr/cheribsd
FreeBSD adapted for the CHERI CPU.
bukinr/cheribsd-ports
FreeBSD ports tree adapted for CheriBSD.
bukinr/cheribuild
Easily build and run CHERI related projects
bukinr/cheriot-rtos
The RTOS components for the CHERIoT research platform
bukinr/edk2
EDK II
bukinr/edk2-platforms
EDK II sample platform branches and tags
bukinr/freebsd-head
FreeBSD RISC-V/MIPS/ARM development
bukinr/freebsd-quarterly
FreeBSD quarterly reports
bukinr/kwin
Easy to use, but flexible, X Window Manager and Wayland Compositor
bukinr/libmcp2221
MCP2221 HID Library
bukinr/mdepx-boards
legacy board support
bukinr/mesa-drm
Direct Rendering Manager headers and kernel modules
bukinr/nrf5340
A Bluetooth demo app for nRF5340-DK
bukinr/OpenCSD
CoreSite trace stream decoder developed openly
bukinr/openocd-nrf9160
bukinr/qtbase
QtBase with CHERI support
bukinr/qtwayland
A toolbox for making Qt based Wayland compositors
bukinr/riscv-openocd
Fork of OpenOCD that has RISC-V microcontroller support
bukinr/riscv-pk
RISC-V Proxy Kernel
bukinr/riscv-tools
bukinr/RISCV_gdbstub
A gdbstub for connecting GDB to a RISC-V Debug Module
bukinr/sqlite
SQLite adapted for CHERI
bukinr/thermostat
bukinr/wayland
test apps