e3eda12d03
TQ Group produces a system-on-module family called TQMa8Xx. The user manual for this SoM is available here: https://www.tq-group.com/filedownloads/files/products/embedded/manuals/arm/embedded-modul/TQ-Socket/TQMa8Xx/TQMa8Xx.UM.0104.pdf This SoM comes in a number of different configurations. The specific NXP SoC used, and the amount of memory are both configurable. The TQMa8XQP is the part number for the TQMa8Xx family configured with the i.MX 8QuadXPlus SoC. The datasheet for the SoC is available here: https://www.nxp.com/docs/en/data-sheet/IMX8QXPAEC.pdf In addition to the SoC being configurable the amount of SDRAM on the SoM is also configurable. The support provided in this PR is specifically for the TQMa8XQP configured for 1GiB of memory. Note: Actual usable memory available to the ARM application processor is 1022MiB. System-on-modules rely on an appropriate carrier board. Testing of this PR has been done on the MBa8Xx carrier board that is available from TQ Group as part of their starter kit. To the best of my knowledge there is nothing in this PR that depends on the carrier board itself; all code is SoM specific and should support any carrier board. Note: This support is very specifically for the TQMa8XQP configured with 1GiB of memory. This may be a starting point for supporting other boards that also have the NXP i.MX 8QuadXPlus SoC (as well as the i.MX 8DXP and possibly other SoC in the i.MX 8 family). Support is limited to the specific SoM due to the way in which platform support currently works for seL4. Building a kernel currently relies on the information from the DTS file (which is SoM + RAM configuration specific). It would be preferable to allow more generic support but SoC families but that is beyond the scope of this PR. Signed-off-by: Ben Leslie <benno@brkawy.com>
The seL4 microkernel
This project contains the source code of seL4 microkernel.
For details about the seL4 microkernel, including details about its formal
correctness proof, please see the sel4.systems website and associated
FAQ.
DOIs for citing recent releases of this repository:
We welcome contributions to seL4. Please see the website for information on how to contribute.
This repository is usually not used in isolation, but as part of the build system in a larger project.
seL4 Basics
- Tutorials
- Documentation
- seL4 libraries
- seL4Test
- Debugging guide
- Benchmarking guide
- Virtualization on seL4
- Host Build Dependencies
- Porting seL4
Community
See the contact links on the seL4 website for the full list.
Reporting security vulnerabilities
If you believe you have found a security vulnerability in seL4 or related software, we ask you to follow our vulnerability disclosure policy.
Manual
A hosted version of the manual for the most recent release can be found here.
A web version of the API can be found here
Repository Overview
includeandsrc: C and ASM source code of seL4tools: build toolslibsel4: C bindings for the seL4 ABImanual: LaTeX sources of the seL4 reference manual
Build Instructions
See the seL4 website for build instructions.
Status
A list of releases and current project status can be found under seL4 releases.
- Roadmap: new features in development
- Hardware Support: information about hardware platform ports
- Kernel Features: information about available kernel features
- Userland Components and Drivers: available device drivers and userland components