conference logo

Playlist "All Systems Go! 2024"

Booting an embedded system like a PC

Manuel Traut

This shows how to boot an [mkosi](https://github.com/systemd/mkosi) generated arm64 [Debian](https://debian.org) Image with [UKI](https://github.com/uapi-group/specifications/blob/main/specs/unified_kernel_image.md) and systemd-boot on a [u-boot](https://docs.u-boot.org/en/latest/develop/uefi/u-boot_on_efi.html) based EFI firmware with a [fTPM](https://github.com/microsoft/ms-tpm-20-ref/tree/main/Samples/ARM32-FirmwareTPM/optee_ta/fTPM) as a Trusted-Application in [OP-TEE](https://optee.readthedocs.io/en/latest/general/about.html)

Embedded systems are very similar to IT managed PCs. A manufacturer of the device wants to ensure, that the system integrity is good, e.g. before unlocking secrets that allow accessing cloud services.

Therefore the recent developments of the UAPI group and systemd are also very useful in the embedded world.

This talk gives an overview of the involved software components and how they are combined.
It shows how to build a firmware for an i.MX8MM that allows booting modern Linux images.

Licensed to the public under https://creativecommons.org/licenses/by/4.0/de/