Build the NVIDIA Jetson TX2 Kernel on the device itself

The Eudyptula Challenge

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

Xiaomi Mi9 Kali Nethunter kernel for MIUI12-Android 10

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

Build the 64-bit Jetson TX1 Kernel

CharleX is a simple operating system. The kernel is written in C. I am still working on the source code to improve the kernel with many new features. My goal is to create a free, open-source operating system similar to Linux and FreeBSD.

UDM series GPL source code

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.

Repositório principal do Projeto LOS

This is basic operating system, with kernel made in C.

Tiny Kernel is a work in progress Operating System kernel.

A hobby kernel developed from scratch using i8086 assembly

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

Build AOSP/LOS based custom rom & custom Kernels easily

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.

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

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