Skip to content
View gurugio's full-sized avatar

Block or report gurugio

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
7 stars written in C
Clear filter

The seL4 microkernel

C 5,133 726 Updated Nov 7, 2025

Adding support for the Rust language to the Linux kernel.

C 4,254 476 Updated Nov 5, 2025

Function graph tracer for C/C++/Rust/Python

C 3,344 533 Updated Oct 10, 2025

Writing an OS in 1,000 lines.

C 3,067 242 Updated Nov 3, 2025

Linux Device Drivers 3 examples updated to work in recent kernels

C 2,529 933 Updated Apr 28, 2025

Linux Device Driver example re-writes against the latest Linux kernel

C 6 Updated Oct 15, 2019

Linux kernel source tree

C 1 1 Updated Aug 2, 2017