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

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.

Tiny Kernel is a work in progress Operating System kernel.

Repositório principal do Projeto LOS

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

A hobby kernel developed from scratch using i8086 assembly

Build AOSP/LOS based custom rom & custom Kernels easily

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

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 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

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

Kernel Source For Poco X3 Pro (Vayu/Bhima)

My first attempt to develop an operating system with bootloader.