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/[email protected]/message/P3Q5SDSPEVW3SHD2DIJUKBJCDRP6RR44/ Thank you! _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
