| AArch32 | Execution state of ARMv8 architecture using 32-bit wide general-purpose registers. |
| AArch64 | Execution state of ARMv8 architecture using 64-bit wide general-purpose registers. |
| Avnet | The manufacturer of the MaaXBoard SBC. |
| Bootloader | The tool responsible for booting a computer. Responsible for initialisation of software following by loading and execution of software. |
| CAmkES | Component Architecture for microkernel-based Embedded Systems. An abstraction layer on top of seL4 providing a software development and runtime framework for quickly and reliably building microkernel-based multiserver (operating) systems. |
| Device Tree | A standardised data structure with nodes that describe the hardware components of a computer system. Associated with device trees are DTS files (Device Tree Source - a textual representation of a device tree), DTB files (Device Tree Blob - a binary representation of a device tree), and DTC (Device Tree Compiler - a tool used to convert between device tree formats, e.g. DTS to DTB). |
| DMA | Direct Memory Access. A feature that allows certain hardware subsystems to access main system memory independently of the central processing unit (CPU), typically used by devices that need to transfer bulk data (e.g. USB). |
| Docker | A tool that allows packaging of an application and its dependencies within a container, with fewer overheads than a virtual machine. It is used in this developer kit to provide a standardised build environment. |
| GPIO | General-Purpose Input/Output. A digital signal pin on an integrated circuit or electronic circuit board which may be used as an input or output, or both, and is controllable by software. |
| HDMI | High-Definition Multimedia Interface. A proprietary specification designed to ensure compatibility between video and audio devices over a single digital interface. |
| High-side | In a security context, 'more trusted' or 'high-side' refers to a system in which there is more confidence of its integrity. |
| Low-side | In a security context, 'less trusted' or 'low-side' refers to a system in which there is less confidence of its integrity. |
| MaaXBoard | An NXP i.MX 8M SoC based SBC. Selected as the target platform for this developer kit. |
| Microkit | Operating system framework on top of seL4 that provides a small set of simple abstractions that ease the design and implementation of statically structured systems on seL4, while still leveraging the kernel’s benefits of security and performance |
| SBC | Single Board Computer. A complete computer on a single circuit board. The Avnet MaaXBoard is an example of a SBC. |
| seL4Test | Test suite for seL4 developed and maintained by the seL4 Foundation. |
| SoC | System on chip. A chip that integrates all or most components of a computer. The SoC on the MaaXBoard is the NXP i.MX 8M. |
| TFTP | Trivial File Transfer Protocol. A simple file transfer protocol commonly used in the early stages of bootloading from a local area network. |
| U-Boot | Das U-Boot (known as "the Universal Boot Loader" and often shortened to U-Boot) is an open-source bootloader commonly used in embedded devices. |
| UART | Universal Asynchronous Receiver-Transmitter. A simple serial communication device commonly used by SBCs. |
| USB | Universal Serial Bus. A standard that defines enables simple and universally accepted connectivity between a host and peripheral device. |