Hi!
I encountered similar problem on TX1. I tried to boot via DFU, and get exactly the same output as @yjy from time to time. The artifacts in https://github.com/seL4/seL4/actions/runs/1715169793#artifacts are already expired. Could you please provide the latest available sel4test pre-build image for TX1.
The original link for the post is: https://103.230.158.80/hyperkitty/list/devel@sel4.systems/message/P3Q5SDSPEV...
Thank you!
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