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

 Make separate kernel directory apart from Android source.

  $ cd <kernel directory>
  $ 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