[seL4] Re: seL4 on TX1

Hello Here's a link to the latest GCC-compiled ARMv8 images https://github.com/seL4/seL4/suites/7138340558/artifacts/283743133. As Peter said, this will contain an image for the TX2. You can find this by going to https://github.com/seL4/seL4/actions and filtering to only show "seL4Test" runs that were on master branch. Ivan