Skip to content
View 880312's full-sized avatar

Block or report 880312

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results
C 9 7 Updated May 28, 2020

68k port of the PDP-11 version of Comer's Xinu operating system

C 19 6 Updated Nov 13, 2015

Source code for the book Building a Debugger

C++ 383 41 Updated Aug 7, 2025

Open Source Introductory Systems Programming Textbook for the University of Illinois

TeX 1,554 161 Updated Jul 9, 2026

Servo-based flight control providing active stability and data logging for model rockets

C 83 12 Updated Mar 16, 2026

µC/OS-III is a preemptive, highly portable, and scalable real-time kernel. Designed for ease of use on a huge number of CPU architectures.

C 1,084 349 Updated Jul 15, 2026

µC/OS-II is a preemptive, highly portable, and scalable real-time kernels. Designed for ease of use on a huge number of CPU architectures.

C 733 227 Updated Jan 5, 2023

Complete, independent operating system built by humans.

C 6,823 540 Updated Aug 20, 2026

RTOS combining Linux rigor with Plan 9 simplicity, designed around SMP, real-time scheduling, and integrated networking.

C 116 23 Updated May 14, 2026

Run Arm64/x86-64 Linux ELF binaries on macOS Apple Silicon

C 253 22 Updated Aug 20, 2026

Bare-Metal Embedded C Programming by Packt Publishing

C 304 69 Updated Dec 15, 2025

Source code form book 'Mac OS X Internals: A Systems Approach, by Amit Singh'

C 22 10 Updated Jul 3, 2022

A secure, fast, and adaptable OS based on the seL4 microkernel

C 259 45 Updated Aug 19, 2026

BORE (Burst-Oriented Response Enhancer) CPU Scheduler

C 827 37 Updated Jul 28, 2026

Boot a real Linux kernel as an in-process library (LKL) and route intercepted syscalls to it via seccomp

C 94 28 Updated Aug 19, 2026

Understanding the Linux 2.6.8.1 CPU Scheduler

19 11 Updated Apr 24, 2015

Generate BTF trace file for FreeRTOS

Python 26 8 Updated Aug 20, 2026

Linux kernel library functions formally verified.

C 64 7 Updated Jan 11, 2026

Minimal x86 Kernel - built in Zig

Zig 229 9 Updated Feb 19, 2026

A tiny educational OS for Arm64(Raspberry Pi 4)

C 3 Updated Mar 28, 2026

Running linux 7.0 with only 1MB SRAM running on STM32H750.

C 34 6 Updated Jul 1, 2026

Tiny Linux bootloader for the STM32F429-Discovery

C 52 15 Updated Jul 12, 2015

Fork of https://github.com/afaerber/afboot-stm32

C 62 40 Updated Apr 28, 2022

Design and Document files for the BeagleBone Black from BeagleBoard.org

167 254 Updated May 22, 2014

GNU toolchain for RISC-V, including GCC

C 4,587 1,411 Updated Aug 12, 2026

Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.

Rust 2,769 245 Updated Feb 5, 2026

Is Parallel Programming Hard, And If So, What Can You Do About It?

TeX 609 72 Updated Aug 2, 2026

SecureSMX RTOS

C 23 9 Updated Aug 12, 2026

lol an elf based filesystem

C 7 1 Updated Jan 31, 2026

Astrological CPU Scheduler

Rust 1,389 32 Updated Feb 2, 2026
Next