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