The Android kernel is based on an upstream Linux Long Term Supported (LTS) kernel. At Google, LTS kernels are combined with Android-specific patches to form what are known as Android Common Kernels (ACKs).
Newer ACKs (version 5.4 and above) are also known as GKI kernels as they support the
separation of hardware-agnostic Generic Core Kernel code and hardware-agnostic
The GKI kernel interacts with hardware-specific vendor modules containing system on
a chip (SoC) and board-specific code. The interaction between the GKI kernel and vendor modules is
enabled by the Kernel Module Interface (KMI) consisting of symbol lists identifying the
functions and global data required by vendor modules. Figure 1 shows the GKI kernel and vendor
This section contains terms used throughout the kernel documentation.
- Android Common Kernel (ACK)
- A kernel that is downstream of a LTS kernel and includes patches of interest to the Android community that haven't been merged into Linux mainline or Long Term Supported (LTS) kernels. Newer ACKs (version 5.4 and above) are also known as GKI kernels as they support the separation of hardware agnostic Generic Kernel code and hardware agnostic GKI modules.
- Android Open Source Project (AOSP) kernel
- See Android Common Kernel.
- Feature Kernel
- A kernel for which the platform release features are guaranteed to be implemented. For example, in Android 12, the two feature kernels were android12-5.4 and android12-5.10. Android 12 features can't be backported to 4.19 kernels; the feature set would be similar to a device that launched with 4.19 on R and upgraded to S).
- generic core kernel
- The portion of the GKI kernel that is common across all devices.
- Generic Kernel Image (GKI) kernel
- Any newer (5.4 and above) ACK kernel (currently aarch64 only). This kernel has two parts: The core GKI kernel with code common across all devices and GKI kernel modules developed by Google that can be dynamically loaded on devices where applicable.
- Kernel Module Interface (KMI) kernel
- See GKI kernel.
- Launch Kernel
- A kernel that is valid for launching a device for a given Android platform release. For example, in Android 12, the valid launch kernels were 4.19, 5.4, and 5.10.
- Long Term Supported (LTS) kernel
- A Linux kernel that's supported for 2 to 6 years. LTS kernels are released once per year and are the basis for each of Google’s ACKs.
- ACK KMI kernel branch
- The branch for which GKI kernels are built. For example, android12-5.10 and android13-5.15.
- The primary development branch for Android features. When a new LTS kernel is declared upstream, the corresponding new GKI kernel is branched from android-mainline.
- Linux mainline
- The primary development branch for the upstream Linux kernels, including LTS kernels.
- Certified boot image
- The kernel delivered in binary form (
boot.img) and flashed onto the device. This image is certified in the sense that it contains embedded certificates so Google can verify that the device ships with a kernel certified by Google.
- Dynamically loadable kernel module (DLKM)
- A module that can be dynamically loaded during device boot depending on the needs of the device. GKI and vendor modules are both types of DLKMs. DLKMs are released in
.koform and can be drivers or can deliver other kernel functionality.
- GKI project
- A Google project addressing kernel fragmentation by separating common core kernel functionality from vendor-specific SoC and board support into loadable modules.
- Generic Kernel Image (GKI)
- A boot image certified by Google that contains a GKI kernel built from an ACK source tree and is suitable to be flashed to the boot partition of an Android device.
- An interface between the GKI kernel and vendor modules allowing vendor modules to be updated independently of the GKI kernel. This interface consists of kernel functions and global data that have been identified as vendor/OEM dependencies using per-partner symbol lists.
- GKI kernel module
- A dynamically loadable modules built by Google that can be dynamically loaded on devices where applicable. These modules are built with the GKI kernel and are delivered alongside GKI as the
system_dlkmimage. GKI kernel modules are signed by Google using the kernel build time key pair and are only compatible with the generic core kernel that they're built with. GKI kernel modules are a type of DLKM .
- Vendor module
- A hardware-specific module developed by a partner and that contains SoC and device-specific functionality. A vendor module is a type of dynamically loadable kernel module.
- If you're new to Android kernel development, you might want to start by reading the following:
- Long Term Stable Kernels - Background on upstream LTS kernels which feed into ACKs.
- Android Common Kernels - Background on ACKs.
- If you're new to GKI kernel development, start by reading GKI development.
- If you're using a kernel version of 4.19 or older and looking for related documentation, refer to the Previous kernels (<=4.19) overview section.