TQMa8XQP 1GB
The TQMa8XQP is a system-on-module designed by TQ-Systems GmbH. The modules incorporates an NXP i.MX8X Quad Plus system-on-chip and 1GiB ECC memory.
| Platform | TQMa8XQP 1GB |
| Architecture | ARMv8A, AArch64 |
| System-on-chip | i.MX8X Quad Plus |
| CPU | Cortex-A35 |
| seL4 virtualisation support | – |
| seL4 SMMU support | – |
| Verification status | Unverified |
| seL4 CMake platform name | tqma8xqp1gb |
| Contributed by | Breakaway Consulting |
| Maintained by | seL4 Foundation |
The seL4 TQMa8XQP port currently only supports running the board in AArch64 mode. Virtualization support is untested.
Building seL4test
Checkout the sel4test project using repo as per seL4Test
repo init -u https://github.com/seL4/sel4test-manifest.git
repo sync
mkdir cbuild
cd cbuild
../init-build.sh -DPLATFORM=tqma8xqp1gb -DAARCH64=1
# The default cmake wrapper sets up a default configuration for the target platform.
# To change individual settings, run `ccmake .` and change the configuration
# parameters to suit your needs.
ninja
Generated binaries can be found in the images/ directory.