Skip to content
View bukinr's full-sized avatar
34 followers · 0 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor
BetaSend feedback

Organizations

@CTSRD-CHERI @freebsd-riscv @machdep @mdepx
Block or Report

Block or report bukinr

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Type: All
Language
Sort by: Recently starred
Showing results

mdepx / stage

my Wayland window manager

C 12 1 Updated Jun 20, 2024

microsoft / cheriot-rtos

The RTOS components for the CHERIoT research platform

C++ 117 37 Updated Jun 28, 2024

dumbbell / drm-kmod

Forked from freebsd/drm-kmod

drm driver for FreeBSD

C 3 2 Updated Mar 16, 2024

john30 / ebusd

daemon for communication with eBUS heating systems

C++ 540 128 Updated Jun 28, 2024

evadot / drm-subtree

WIP drm drivers for FreeBSD

C 15 9 Updated Nov 16, 2022

CTSRD-CHERI / garnet

Amazon F1-inspired Xilinx VCU118 hardware design framework

Verilog 9 4 Updated Jan 4, 2021

nickisobrien / nOS

nOS is a "simple" kernel

C 2 Updated May 20, 2019

linino / openocd-nrf9160

C 4 4 Updated Jan 19, 2019

mcusim / MCUSim

MCUSim is an XSPICE library with microcontrollers.

C 76 8 Updated Feb 22, 2023