·Board: DEBIX Model A
·System: ubuntu22.04
·Kernel source code: https://github.com/debix-tech/linux
1. Download the kernel source code from above Github website
git clone --depth=1 https://github.com/debix-tech/linux
2. Prepare .ppm logo file
·Convert png image to ppm file
pngtopnm <input.png> ><output.pnm>
·Convert a picture to 224 colours
ppmquant 224 <input.pnm> > <output.pnm>
·Convert the 224-colour image to an ASCII binary file
pnmtoplainpnm <input.pnm> > <output.ppm>
·Finally view the file format via file <name.ppm>, the file format is: "Netpbm image data, size = * X *, pixmap, ASCII text ".
3. Replace the logo file
DEBIX kernel logo location is: drivers/video/logo/logo_linux_clut224.ppm
Replace the logo: rename the prepared logo.pmm to logo_linux_clut224.ppm
mv logo.pmm logo_linux_clut224.pmm
cp logo_linux_clut224.pmm ./linux-debix/drivers/video/logo/logo_linux_clut224.ppm
4. Replace the Image file
·Recompile the kernel
make -j4
·After compilation, check the image file in linux-debix/arch/arm64/boot directory, replace it in the micro SD card, and reboot debix. As shown in the below:
scp debix@192.168.1.XXX:/linux-debix/arch/arm64/boot/Image /boot
reboot