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 _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
