platforms: add tqma8xqp1gb to hw test

[lsf37]

The corresponding tqma board is now available in the machine queue.

[lsf37]

We should also add the board to https://docs.sel4.systems/Hardware/ -- do we have installation instructions like for https://docs.sel4.systems/Hardware/sabreLite.html or similar?

[Indanz]

Thanks for this!

It's just standard aarch64 U-boot booting, nothing special about it, so the generic ARM instructions apply. There is a lot of documentation online on TQ's website too.

It is worth mentioning that fastboot is supported, so the uuu tool can be used to easily load images (even without U-boot). In my experience, configuring U-boot to enter fastboot mode and then uploading new images via uuu is easiest for development, but this applies to any board with either fastboot support or U-boot with fastboot support.

The tqma is a module with a i.MX8X SoC which passes most hardware to the connector. The tqma board MBa8Xx you have comes from the starters kit STKa8Xx.

However, because it is a pass-through board, the only board or module specific information in seL4 is which UART is used and the amount of memory. Both are easily overridden with a custom DTS file. That is, the tqma target can be used for any i.MX 8X SoC based board with no change to seL4.

The tqma platform name could have better been called imx8x instead, but that is true for most platforms. It would make more sense to define a "platform" per SoC or range of SoCs instead of per board.