Most popular kernel repositories and open source projects

DemOS

Free, simple, extremely lightweight, stackless, cooperative, co-routin...

5   18   18  

Fuchas

Efficient yet powerful OpenComputers OS

7   18   18  

lucjan-kernels

HP 850 G3 with Sixth Gen Intel Core i3/i5/i7 optimized.

5   18   18  

orangepi3-h6-mainline

Mainline kernel Orange Pi 3 (Allwinner H6) with custom DTS, USB3, WiFi...

5   18   18  

x86-bootloader

A BIOS bootloader for bare-metal x86 programs, written in 8086 assembl...

7   18   18  

DOOGEE-kernel-3.18

Kernel DOOGEE X5PRO, X5, KIICAA-POWER, Android 5.1, 6.0, 7.1.1, 8.1

36   17   17  

eclean-kernel2

Reboot of eclean-kernel [now defunct in favor of reviving ek1]

6   17   17  

XyOS

Building a 64-bit micro-kernel for the RPi3B in C and Assembly

3   17   17  

hellfireos

HellfireOS Realtime Operating System

31   17   17  

kernel-4.0.x

My Book Live patches for vanilla Linux kernel

5   17   17  

LuckyOS

Repositório principal do Projeto LOS

3   17   17  

gcc-prebuilt-elf-toolchains

This repo contains Weekly GCC 11 builds for x86_64 hosts, targeted for...

8   17   17  

dart

A Unix/Linux like operating system

3   17   17  

operalib

Learning with operator-valued kernels

3   17   17  

rlxnix

a experimental monolithic kernel in rust

0   17   17  

lambda-kern

Multi-architecture hobby operating system created in C

0   17   17  

wrk-study

windows kernel research. there are some notes or comments of the wrk s...

14   17   17  

mkt

Mellanox Kernel developers Toolset (MKT)

11   17   17  

os

x86-64 assembly µkernel

4   17   17  

Osmanthus-tutorial

How to create an OS from scratch

3   17   17  

GENADEV_OS

An AArch64 hobbyist OS for the Raspberry Pi 3 B+

4   17   17  

kramflash

A fast & simple bootable GKI kernel flasher for boot image v2 and v3 d...

1   17   17  

KOSmk4

Kaos Operating System 400

3   17   17  

Chroma

The Chromatic OS

6   17   17  

hisilicon-kernel

Hisilicon Kernel v4.4.35 for SoC Hi3798Cv200 / Hi3798Mv200. (Check Wik...

15   17   17  

celos

CelOS is a simple, easy-to-use, flatpak centric Linux distribution for...

5   17   17  

PersiaOS

Distributed Operating System on Exokernel (Unikernel) Concepts

1   17   17  

HydrOS

💧 A simple x86-64 kernel written in C

0   17   17  

FuzzyOS

32-bit x86 multiprocessing OS capable of running console or graphical...

3   17   17  

NeXTMach

NexTMach

8   17   17  

android_kernel_xiaomi_sm7325

Xiaomi 11 Lite 5G NE, POCO X5 PRO 5G kernel source with latest clo & l...

15   17   17  

android_kernel_xiaomi_whyred_docker

Docker Kernel for Xiaomi Whyred.

3   17   17  

blogOS-armV8

blogOS armV8

0   17   17  

mel

i386 hobby kernel.

1   17   17  

smart-os

Build a smart operating system

2   17   17  

TinyKernel

Tiny Kernel is a work in progress Operating System kernel.

4   16   16  

1337kit

64-bit LKM Rootkit builder based on yaml prescription. Working on 5.15...

2   16   16  

MultibootBasicGraphics

Very Basic example of Booting with Grub, and requesting a graphics mod...

2   16   16  

Ironclad

A kernel for x86_64 devices written in Ada.

0   16   16  

linux-lucjan

Patchset for lucjan-kernels

4   16   16  

SCAL-UX

SCAL/UX, a hobby Unix-like operating system

0   16   16  

OS-RISCV

A small RISC-V kernel coding by C, tested on sifive unmatched board.

2   16   16  

linux-armv7-xe303c12-only

Linux kernel for old google-snow chromebook

1   16   16  

oinix

Xinux Jamiyati Arch asosida qurilayotgan open source OS

5   16   16  

SignalTracer

A kernel module for tracing signal

4   16   16  

WinSoftVol

A Windows filter driver that disables hardware volume control on audio...

1   16   16  

kernel-module-management

The kernel module management operator builds, signs and loads kernel m...

12   16   16  

android_kernel_xiaomi_msm8953

Xiaomi Redmi Note 4(X) kernel

21   16   16  

pineroot

Buildroot environment for Pinephone with QT.

0   16   16  

klrfome

Kernel Logistic Regression on Focal Mean Embeddings

0   16   16