Download Kernel source

Refer to https://source.android.com/setup/build/building-kernels

Make separate kernel directory apart from Android source.

$ cd $ repo init -u https://github.com/android-rpi/kernel_manifest -b arpi14-6.1 $ repo sync

Build Kernel

$ tools/bazel run --config=release //common:arpi5_dist

Output files are under out/arpi5/dist/ Image.gz bcm2712-rpi-5-b.dtb vc4-kms-v3d-pi5.dtbo

Build Android for Raspberry Pi 5

https://github.com/android-rpi/device_arpi_rpi5