31 Jan
2022
31 Jan
'22
11:23 a.m.
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