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
participants (2)
-
i.velickovic＠unsw.edu.au -
Yiliang Wan