Install and Configure
This section details how to configure a build environment with all tools required to generate seL4 executable images.
Development is conducted across three different environments:
-
Host Machine: The developer's host machine. This can be running macOS, Linux, or Windows.
-
Build environment: The environment within which all binaries for the target environment are built. This is a Linux-based development environment running within a Docker container on the host machine. The use of a Docker container to provide all of the tooling required to build seL4 applications for the target platform greatly simplifies the requirements of the host machine.
-
Target Platform: The Avnet MaaXBoard, a single board computer based around the NXP i.MX 8M SoC (system on chip). This is the environment upon which seL4 binaries are executed. User interaction with the target platform is performed via a serial console from the host machine.
The required configuration of the host and target environments are detailed in the Host Setup and Target Setup sections. A preconfigured build environment is supplied as part of this developer kit as detailed in the Build Environment Setup section. Bootloader setup describes how to install and the bootloader U-Boot.