Good afternoon. The only verified platform is Sabre lite (Platform Sabre lite, System-on-chip i.MX6). There is a link for the board on the website https://docs.sel4.systems/Hardware/sabreLite.html, but the link https://boundarydevices.com/product/sabre-lite-imx6-sbc/ is not working. On the same site https://boundarydevices.com, board https://boundarydevices.com/product/bd-sl-i-mx6/ is displayed. There are different boards with iMX6 processor, and processors, for example, i.MX 6 ULL, i.MX 6 UltraLite, i.MX 6 SLL, i.MX 6 SoloLite, i.MX 6 SoloX, i.MX 6 Solo, i.MX 6 Solo, i.MX 6 Dual, i.MX 6 Quad, i.MX 6 DualPlus, i.MX 6 QuadPlus. There is only 1 GiB of RAM in the board, so please clarify regarding my question. Are all the boards suitable for the operation of a verified microkernel seL4 with full verification, or is only https://boundarydevices.com/product/bd-sl-i-mx6/ suitable board? _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
