kernel-source topic

Xiaomi Mi9 Kali Nethunter kernel for MIUI12-Android 10

shandongtlb

Armbian Linux build framework generates custom Debian or Ubuntu image for x86, aarch64, riscv64 & armhf

armbian

Build the NVIDIA Jetson TX2 Kernel on the device itself

jetsonhacks

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

kerneltlv

The Eudyptula Challenge

sinedoke

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

QuantumLeaps

Build the 64-bit Jetson TX1 Kernel

jetsonhacks

UDM series GPL source code

tusc

Repositório principal do Projeto LOS

LucGoncalez

Tiny Kernel is a work in progress Operating System kernel.

TinyKern