Build the NVIDIA Jetson TX2 Kernel on the device itself

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

The Eudyptula Challenge

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

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.

UDM series GPL source code

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

Repositório principal do Projeto LOS

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.

Simple x86 Operating System Kernel running in 32-bit protected mode that implements process management, multitasking, and memory paging, with a custom filesystem

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

About Aurora Store 📺 focused on security, minimalism and usability. Our app store is currently being used to distribute our own apps and the Google Play mirror for isolated download functionality of all apps that are available on the Google Play Market. In the future, it will be used for the possible distribution of builds of Katya ® 👽 Mobile OS.

Kernel Source For Poco X3 Pro (Vayu/Bhima)

My first attempt to develop an operating system with bootloader.

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

Kernel for Samsung Galaxy S10 and N10 family. [EOL]

The Katya ® 👽 OS Kernel Sources for Pixel 6, Pixel 6 Pro, Pixel 6a, Pixel 7, Pixel 7 Pro, Pixel 7a, Pixel Tablet, and Pixel Fold are now available. These sources are designed for building device-specific modules, ensuring optimized performance and compatibility for each model. The Generic Kernel Image is built from a common kernel.

kernel source for sharp 303sh(pa23).

OptiKernel For Galaxy A5/A7 2017

Build the NVIDIA Jetson Nano Kernel on the device

Motorola Moto E4 (Woods) MhDzMR-Kernel

upstream kernel for gta4lwifi

Unmodified kernel source of the Xperia M5 (30.2.A.1.21) site to packaged source on their site --->