5 Debian image guide
As opposed to Yocto, Debian does not provide a completely integrated build experience by itself. Linux kernel and U-Boot
have to be compiled manually and copied to the appropriate directory to be picked up by Debian build system.
This chapter will go through all neccessary steps, finally building a complete image using the debos Debian image builder. The
result will be a fully-functional Debian system.
Alternatively, prebuilt images can be downloaded from https://downloads.theobroma-systems.com/jaguar .
At the time of writing this document, the following Debian image variants are available for the Tiger board:
• Debian 12 Bookworm
Note: While Debian is a great tool for fast prototyping of your product, it is highly recommended to use a distribution/image
tailored to your need. This can be achieved by Yocto or Buildroot for example.
5.1 Prepare the host PC
The debos Debian OS Builder is only available for Debian and Debian-based distributions (like Ubuntu). This chapter assumes
you use Debian or a Debian-based distribution as the host PC.
Install packages for compiling the parts and the complete image:
As debos internally uses kvm virtualization, your user must be a member of the
group:
Log out and back for the change to take affect. Then verify that
is listed in your groups:
Note: If you are not using Debian distribution on your host PC you need to use podman to build the debos image:
5.2 Get the ATF
Get the Arm Trusted Firmware as follows:
# Set up cross-compilation
# Download the source code
# Tag linux-5.10-gen-rkr4.1
(continues on next page)
JAGUAR SBC-RK3588 User Manual
73fb79d
© Theobroma Systems Design und Consulting GmbH
Page 15