Description

Compiling the entire system SDK takes a long time. If we only modified some files in the kernel but have to compile the entire SDK to generate an image, the efficiency would be too low.

This document will introduce a method to compile the kernel separately to generate a boot.img image. Then, using the method described in the Distributed Image Flashing 🚀 chapter, you can flash the boot.img image separately to update the kernel.

Compile Kernel

0⃣. Enter the TaishanPi-3-Linux/ SDK root directory:

cd TaishanPi-3-Linux/

1⃣. Select Debian12 configuration file:

./build.sh lunch

For the configuration file here, you can select the same configuration file used for the previous full compilation. Refer to Debian12 Image Compilation 🚀.

2⃣. Compile kernel:

./build.sh kernel

3⃣. Compilation successful

We will find the newly generated boot.img image in the kernel-6.1/ directory.

Then, you can use the method described in the Distributed Image Flashing 🚀 chapter to flash the boot.img image separately to update the kernel.

Note

You can use ./build.sh help to view other commands defined in the script.