Operating systems & kernels · GitHub stars

1torvalds / linuxLinux kernel source treeCLicense not declared254,542

2omacom / omarchyBeautiful, Modern & Opinionated LinuxShellMIT · Permissive46,154

3SerenityOS / serenityThe Serenity Operating System 🐞C++BSD-2-Clause · Permissive33,946

4reactos / reactosA free Windows-compatible Operating SystemCGPL-2.0 · Share derivative source18,425

5RT-Thread / rt-threadRT-Thread is an open source IoT Real-Time Operating System (RTOS). https://rt-thread.github.io/rt-thread/CApache-2.0 · Permissive12,330

6linux-surface / linux-surfaceLinux Kernel for Surface DevicesShellLicense not declared7,869

7home-assistant / operating-system:beginner: Home Assistant Operating SystemPythonApache-2.0 · Permissive7,627

8NodeOS / NodeOSLightweight operating system using Node.js as userspaceShellMIT · Permissive7,343

9tock / tockA secure embedded operating system for microcontrollersRustLicense not declared6,489

10seL4 / seL4The seL4 microkernelCLicense not declared5,859

11includeos / IncludeOSA minimal, resource efficient unikernel for cloud servicesC++Apache-2.0 · Permissive5,257

12ARMmbed / mbed-osArm Mbed OS is a platform operating system designed for the internet of thingsCLicense not declared4,882

13o2oa / o2oaOpen source OA system - Code Cloud GVP|Java open source oa|Enterprise OA office platform|Enterprise OA|Collaborative office OA|Process platform OA|O2OA|OA, supports domestic Kirin operating system and domestic databases (Dameng, Renmin University of Finance and Economics), government affairs OA, military information OAJavaScriptAGPL-3.0 · Share derivative source4,713

14alibaba / AliOS-ThingsA highly scalable IoT operating system for the IoT field. For more information, please go to the official website https://www.aliyun.com/product/aliosthingsCApache-2.0 · Permissive4,633

15cirosantilli / linux-kernel-module-cheatThe perfect emulation setup to study and develop the Linux kernel, kernel modules, QEMU, gem5 and x86_64, ARMv7 and ARMv8 userland and baremetal assembly, ANSI C, C++ and POSIX. GDB step debug and KGDB just work. Powered by Buildroot and crosstool-NG. Highly automated. Thoroughly documented. Automated tests. "Tested" in an Ubuntu 24.04 host.PythonGPL-3.0 · Share derivative source4,521

16SKeyerror / PsyduckRecord CS knowlegement with XMind, version 2.0. Use XMind to record some designs of Linux operating system, network, C++, Golang and databaseGoLicense not declared4,402

17cloudius-systems / osvOSv, a new operating system for the cloud.CLicense not declared4,266

18erxes / erxesExperience Operating System (XOS) that unifies marketing, sales, operations, and support — run your core business seamlessly while replacing HubSpot, Zendesk, Linear, Wix and more.TypeScriptLicense not declared4,108

19apache / nuttxApache NuttX is a mature, real-time embedded operating system (RTOS)CApache-2.0 · Permissive4,099

20theori-io / copy-fail-CVE-2026-31431Copy Fail (CVE-2026-31431): 9-year-old Linux kernel LPE found by Theori's Xint CodePythonLicense not declared4,082