kernel-source

Armbian Linux Build Framework

Build the NVIDIA Jetson TX2 Kernel on the device itself

The Eudyptula Challenge

An environment and set of utilities aimed at making kernel hacking simple and accessible

Xiaomi Mi9 Kali Nethunter kernel for MIUI12-Android 10

Build the 64-bit Jetson TX1 Kernel

MiROS (Minimal Real-Time Operating System) for ARM Cortex-M

UDM series GPL source code

Repositório principal do Projeto LOS

Mainline kernel Orange Pi 3 (Allwinner H6) with custom DTS, USB3, WiFi, Ethernet (dwmac_meson8b regulator patch), PCI-E patches. EL2 Hypervisor for quirky PCI-E controller.

Tiny Kernel is a work in progress Operating System kernel.

charleX is a simple OS ... kernel written with c programming language and reference of this code is 'codeproject.com'. I still working to make a better kernel than this one ...

Linux 4.9 Kernel for Xiaomi Mi A1 aka Tissot.

A self learning exercise in low level system programming (OS and kernel programming) for the x86 architecture.

A hobby kernel developed from scratch using i8086 assembly

Clean your RHEL 6.x COW, it's dirty

Build AOSP/LOS based custom rom & custom Kernels easily

A very basic modular kernel. This isn't meant to be a full-featured kernel+OS, but as a test bed for understanding and implementing task scheduling (with daemon processes) and exploring C++11

Lenovo Open Sources Kernel for Lenovo TB-J706F，Lenovo Tab P11 Pro，小新Pad Pro 2020