Hardware Requirements
This section details the hardware related to the target platform that the guide assumes is available to the developer. Before following the guide the developer will need to have access to all items marked as mandatory.
As detailed in the Configure U-Boot section, there are multiple methods of transferring a compiled seL4 binary from the host machine to the target platform. Where a hardware item is required to support only one potential transfer method it is marked as 'optional'. The developer should decide which transfer method(s) are to be used to determine which items need to be available.
For convenience, the following table includes order codes and hyperlinks for the Farnell UK store correct as of 16th August 2024; clearly, equivalent items are available from many other sources.
| Item | Notes | Order Code |
|---|---|---|
| Avnet MaaXBoard (AES-MC-SBC-IMX8M-G) | Mandatory | 3436577 |
| USB-to-TTL Serial UART Cable | Mandatory | 2147356 |
| 16GB Micro SD Card | Mandatory | 3498607 |
| USB Micro SD Card Reader/Writer | Mandatory | 3493850 |
| 15W USB-C Power Adapter | Mandatory | 3106255 |
| USB Flash Drive | Optional - USB transfer only | General1 |
| Ethernet Cable | Optional - TFTP transfer and some of the test applications | General1 |
| USB Keyboard | Optional - some of the test applications | 18481112 |
| SPI Bus Pressure Sensor | Optional - test application only | See SPI sensor appendix |
Where items are considered to be ubiquitous with no special requirements, no example order code is given.
Although USB keyboards are fairly ubiquitous, experience leads us to recommend a 'basic' model such as this, which works with our keyboard driver; the driver may not work with more feature-rich models (e.g. a keyboard with an integral USB hub; nor does it work with this compact keyboard).
This guide assumes the following basic hardware capabilities of the user's development environment:
-
The ability to connect the MaaXBoard to a wired network to which the host machine is also connected. This is required if the user wishes to perform TFTP transfer of executables from the host environment to the target platform (see the Configure U-Boot section).
-
The ability to connect USB devices (i.e. the USB flash drive and USB SD card reader / writer) to the host machine.