FreeRTOS / FreeRTOS-Kernel

FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.

dreamportdev / Osdev-Notes

A book that explore how to write an Operating System from scratch

LearningOS / os-lectures

https://learningos.cn/os-lectures/ 2026年春季OS课程Slides\实验指导\思维导图\挑战项目等

xddxdd / nix-cachyos-kernel

CachyOS kernel for NixOS