-
University of Cambridge
- Cambridge, UK
- https://machdep.uk
- @onewilshire
- https://t.me/machinedependent
Block or Report
Block or report bukinr
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
riscv-sbi-doc Public
Forked from riscv-non-isa/riscv-sbi-docDocumentation for the RISC-V Supervisor Binary Interface
Makefile Creative Commons Attribution 4.0 International UpdatedMay 23, 2024 -
-
-
cheribsd Public
Forked from CTSRD-CHERI/cheribsdFreeBSD adapted for the CHERI CPU.
C Other UpdatedMar 18, 2024 -
-
edk2-platforms Public
Forked from tianocore/edk2-platformsEDK II sample platform branches and tags
C Other UpdatedFeb 26, 2024 -
cheribsd-ports Public
Forked from CTSRD-CHERI/cheribsd-portsFreeBSD ports tree adapted for CheriBSD.
Other UpdatedSep 22, 2023 -
nrf5340 Public
Forked from machdep/nrf5340A Bluetooth demo app for nRF5340-DK
C UpdatedApr 30, 2023 -
cheriot-rtos Public
Forked from microsoft/cheriot-rtosThe RTOS components for the CHERIoT research platform
C++ MIT License UpdatedFeb 6, 2023 -
qtwayland Public
Forked from qt/qtwaylandA toolbox for making Qt based Wayland compositors
C++ Other UpdatedJan 17, 2023 -
Easy to use, but flexible, X Window Manager and Wayland Compositor
C++ UpdatedAug 19, 2022 -
mesa-drm Public
Forked from Meulengracht/mesa-drmDirect Rendering Manager headers and kernel modules
C UpdatedAug 11, 2022 -
-
qtbase Public
Forked from CTSRD-CHERI/qtbaseQtBase with CHERI support
C++ Other UpdatedJul 20, 2022 -
-
-
-
Awesome_RISCV-AllwinnerD1 Public
Forked from DongshanPI/Awesome_RISCV-AllwinnerD1Allwinner D1 For RISCV-64 Boards Awesome.
HTML Creative Commons Attribution Share Alike 4.0 International UpdatedMar 28, 2022 -
RISCV_gdbstub Public
Forked from bluespec/RISCV_gdbstubA gdbstub for connecting GDB to a RISC-V Debug Module
-
cheribuild Public
Forked from CTSRD-CHERI/cheribuildEasily build and run CHERI related projects
Python Other UpdatedNov 11, 2021 -
-
libmcp2221 Public
Forked from ZakKemble/libmcp2221MCP2221 HID Library
C GNU General Public License v3.0 UpdatedFeb 3, 2021 -
riscv-openocd Public
Forked from riscv-mcu/riscv-openocdFork of OpenOCD that has RISC-V microcontroller support
C GNU General Public License v2.0 UpdatedJun 25, 2020 -
-
mdepx Public
Forked from mdepx/mdepxMIPS, RISC-V and ARM SDK
-
openocd-nrf9160 Public
Forked from linino/openocd-nrf9160 -
freebsd-quarterly Public
Forked from freebsd/freebsd-quarterlyFreeBSD quarterly reports
Other UpdatedFeb 7, 2019 -
pic32prog Public
Forked from sergev/pic32progFlash programming utility for Microchip PIC32 microcontrollers
-
-
riscv-pk Public
Forked from riscv-software-src/riscv-pkRISC-V Proxy Kernel
C Other UpdatedMar 23, 2018