I've been thinking about this over the weekend. The possibilities I've come up with are: -- faulty TX1 board -- faulty tool chain -- bad SD card
To eliminate some of these, you could try a known-good image. If you visit https://github.com/seL4/seL4/actions/runs/1715169793#artifacts you can download images-armv8a-gcc >From there you can extract TX1_release_gcc_64-images.tar.gz, untar it, and run sel4test-driver-image-arm-tx1 which definitely works on our TX1 boards. If it fails, then you have a faulty SD card or a faulty Jetson TX1 board. If it succeeds, you have a toolchain issue. Peter C -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
