Search projects, repositories...

⇧+K

Operating System Kernels

Core kernel implementations powering operating systems. This collection includes projects that implement the OS kernel, providing the essential operating system functions.

62 projects

79,255 contributors

$6.1B

Most contributors

Upstream MultiPath TCP Linux Kernel Development

Development version of the Upstream MultiPath TCP Linux kernel 🐧

Contributors

44,071

Organizations

5,182

Software value

$1.4B

Raspberry Pi Kernel

Kernel source tree for Raspberry Pi-provided kernel builds.

Contributors

10,987

Organizations

2,091

Software value

$1.4B

FreeBSD

FreeBSD is an advanced open source operating system for modern server, desktop, and embedded computer platforms. It is derived from BSD, the version of UNIX developed at the University of California, Berkeley, and offers advanced networking, security, and storage features.

Contributors

3,568

Organizations

423

Software value

$1.1B

SerenityOS

SerenityOS is an open-source operating system that aims to be a modern Unix-like OS with a custom graphical user interface. It features its own kernel, userland applications, development tools, and desktop environment, written primarily in C++. The project emphasizes clean design, security, and reimplementing modern computing concepts from first principles.

Contributors

3,369

Organizations

625

Software value

$47M

CheriBSD

CheriBSD is a modified version of FreeBSD that adds support for CHERI (Capability Hardware Enhanced RISC Instructions) memory protection and software compartmentalization features. It provides a complete operating system environment with CHERI capability support integrated throughout the kernel and userspace

Contributors

3,288

Organizations

392

Software value

$1.1B

RT-Thread

RT-Thread is an open-source real-time operating system (RTOS) for embedded devices. It provides a kernel with real-time scheduling, semaphores, mutexes, and inter-thread communication, along with components for network protocols, file systems, and device drivers. The system is designed to be lightweight, stable, and scalable for IoT and embedded applications.

Contributors

2,682

Organizations

146

Software value

$337M

Armbian Linux Build Framework

A build framework and toolchain for creating customized Armbian Linux distributions, enabling users to compile optimized operating system images for various ARM and RISC-V based single board computers and devices

Contributors

2,443

Organizations

374

Software value

$127M

OP-TEE Trusted OS

OP-TEE (Open Portable Trusted Execution Environment) is an open source trusted OS that implements TEE Internal Core API v1.1.x specifications. It provides a secure world operating system that runs alongside the normal world OS, offering secure services and trusted applications execution in an isolated environment.

Contributors

1,981

Organizations

226

Software value

$19M

Apache NuttX

Apache NuttX is a real-time operating system (RTOS) with an emphasis on standards compliance and small footprint. It features POSIX and ANSI standards compliance, scalable architecture supporting 8-bit to 64-bit microprocessor architectures, and highly configurable modular components.

Contributors

1,836

Organizations

239

Software value

$156M

pfSense

Main repository for pfSense

Contributors

1,281

Organizations

163

Software value

$4.3M

FreeRTOS Kernel

'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.

Contributors

804

Organizations

108

Software value

$7.8M

Tock

Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on low-power, low-memory microcontrollers. It uses a unique memory isolation model and is written in Rust to ensure memory safety and reliability.

Contributors

684

Organizations

162

Software value

$11M

ReactOS

ReactOS is an open source operating system that aims to be binary-compatible with Windows applications and drivers. It implements Windows-compatible architecture to run Windows software natively, providing a free alternative to Microsoft Windows.

Contributors

533

Organizations

119

Software value

$379M

seL4

The seL4 microkernel

Contributors

467

Organizations

Software value

$6.5M

SELinux

SELinux (Security-Enhanced Linux) is a security architecture integrated into the Linux kernel that provides mandatory access control (MAC) mechanisms and enforces security policies to enhance system security beyond traditional discretionary access controls. It implements NSA-developed security policies and includes tools for policy management and system hardening.

Contributors

401

Organizations

115

Software value

$7.1M

kpatch

kpatch - live kernel patching

Contributors

320

Organizations

Software value

$935K

skiboot

Skiboot is a bootloader and runtime firmware for OpenPOWER systems, providing initialization and runtime services for POWER processors. It handles hardware initialization, memory management, and provides runtime services to the operating system running on OpenPOWER platforms.

Contributors

278

Organizations

Software value

$15M

Genode Operating System Framework

Genode is a microkernel-based operating system framework that enables the creation of specialized operating systems with strong security and real-time capabilities. It uses a component-based architecture where system functions are split into isolated components that communicate via well-defined interfaces, enhancing security and reliability.

Contributors

262

Organizations

Software value

$18M

ADLinux

Linux kernel variant from Analog Devices; see README.md for details

This project hasn't been onboarded to LFX Insights.

AMD ROCm ROCK Kernel Driver - AMDGPU and KFD

AMDGPU Driver with KFD used by the ROCm project. Also contains the current Linux Kernel that matches this base driver

This project hasn't been onboarded to LFX Insights.

AOSP Kernel Project

The AOSP Kernel Project, part of The Linux Foundation, develops and maintains the Android Open Source Project's Linux kernel, optimizing it for mobile devices and ensuring compatibility with Android's ecosystem while supporting hardware diversity across manufacturers.

This project hasn't been onboarded to LFX Insights.

Android Common Kernel

Linux Kernel for devices using MTK-based chipset

This project hasn't been onboarded to LFX Insights.

Android Kernel Google Floral

Pixel 4/XL kernel.

This project hasn't been onboarded to LFX Insights.

Android Kernel Subproject

CAF 4.9 kernel source with linux-stable merged in

This project hasn't been onboarded to LFX Insights.

Android Kernel for Google Wahoo

Pixel 2/XL kernel.

This project hasn't been onboarded to LFX Insights.

Android Kernel for Pixel 7 Series

Pixel 7 series kernel.

This project hasn't been onboarded to LFX Insights.

Android Linux Kernel Project

CAF 4.4 kernel source with linux-stable merged in

This project hasn't been onboarded to LFX Insights.

BPI-Router-Linux

Linux kernel 4.14+ for BPI-R2, 5.4+ for R64, 6.1+ for R2Pro and R3

This project hasn't been onboarded to LFX Insights.

BeagleBoard Linux Kernel

The official Read Only BeagleBoard and BeagleBone kernel repository https://git.beagleboard.org/beagleboard/linux

This project hasn't been onboarded to LFX Insights.

EmanuelCN Kernel Xiaomi SM8250

EmanuelCN Kernel Xiaomi SM8250 is a Linux Foundation project focused on developing and maintaining optimized kernel implementations for Xiaomi devices using the Snapdragon 865 (SM8250) chipset, ensuring compatibility, performance, and security.

This project hasn't been onboarded to LFX Insights.

F2FS (Flash-Friendly File System)

F2FS (Flash-Friendly File System) is a Linux Foundation project designed specifically for flash storage devices, optimizing performance and lifespan through advanced garbage collection, wear-leveling, and reduced write amplification for SSDs and other flash media.

This project hasn't been onboarded to LFX Insights.

HiSilicon Linux Kernel Support

HiSilicon Linux Kernel Support project develops and maintains Linux kernel compatibility for HiSilicon processors, ensuring proper hardware integration and optimized performance for devices using these ARM-based chipsets.

This project hasn't been onboarded to LFX Insights.

InfiniR Kernel

Based on OD & RK | kernelSU ready

This project hasn't been onboarded to LFX Insights.

Khadas Linux Kernel

Linux kernel for Khadas VIMs & Edges

This project hasn't been onboarded to LFX Insights.

LineageOS Raspberry Pi Project

LineageOS Raspberry Pi Project is a Linux Foundation initiative that adapts the open-source LineageOS mobile operating system for Raspberry Pi devices, enabling enhanced functionality and customization options for these popular single-board computers.

This project hasn't been onboarded to LFX Insights.

Linux Kernel

Linux kernel source tree

This project hasn't been onboarded to LFX Insights.

Linux Kernel Stable Tree Mirror

Linux kernel stable tree mirror

This project hasn't been onboarded to LFX Insights.

Linux SoCFPGA Development

Linux development repository for socfpga

This project hasn't been onboarded to LFX Insights.

Linux Surface Kernel

Linux Kernel for Surface Devices

This project hasn't been onboarded to LFX Insights.

Linux Xtensa Port

Linux port for xtensa architecture. None of these branches are stable.

This project hasn't been onboarded to LFX Insights.

Linux for Tegra with Experimental Patches

Linux kernel with experimental patches for Tegra

This project hasn't been onboarded to LFX Insights.

MSM Kernel for Motorola Devices

Linux Kernel for Motorola devices using MSM-based chipset

This project hasn't been onboarded to LFX Insights.

Melt Kernel

Melt Kernel For Redmi Note 12 Turbo (marble) / Poco F5 (marblein)

This project hasn't been onboarded to LFX Insights.

NI Linux Real-Time Kernel

Linux kernel source for NI Linux Real-Time

This project hasn't been onboarded to LFX Insights.

NetBSD Source Conversion Project

Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org

This project hasn't been onboarded to LFX Insights.

OpenBSD Source

Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.

This project hasn't been onboarded to LFX Insights.

PetaLinux

The official Linux kernel from Xilinx

This project hasn't been onboarded to LFX Insights.

Project ACRN

Kernel tree for ACRN

This project hasn't been onboarded to LFX Insights.

RealKing-kernel for Kona (SM8250)

RealKing-kernel for Kona (SM8250): Currently supports ~~ Xiaomi: Poco-F3/Mi11x/K40, Mi10t/pro, Poco F4/K40s. {For Both MiUi and Aosp Roms} and Oneplus 8 series and 9R : opkona ( for both oos and aosp )

This project hasn't been onboarded to LFX Insights.

Rockchip Kernel BSP

BSP kernel source

This project hasn't been onboarded to LFX Insights.

StarFive Linux Kernel Patch Integration

StarFive Linux Kernel Patch Integration streamlines the process of incorporating security and performance patches into the Linux kernel, ensuring compatibility and stability across diverse hardware configurations for The Linux Foundation.

This project hasn't been onboarded to LFX Insights.