How to build:

1. Establish Android build environment and install repo.

2. Initialize repo:

repo init -u https://android.googlesource.com/kernel/manifest -b common-android13-5.15-lts
curl --create-dirs -L -o .repo/local_manifests/manifest_brcm_rpi4.xml -O -L https://raw.githubusercontent.com/lineage-rpi/android_kernel_manifest/lineage-20.0/manifest_brcm_rpi4.xml

3. Sync source code:

repo sync

4. Compile:

BUILD_CONFIG=common/build.config.rpi4 build/build.sh

Compiled kernel Image, dtbs, and overlays can be found in out/common/arch/arm64/boot directory.

Replace existing files in the boot partition of Raspberry Pi 4 Android 13 image.