Alexander.Kroh@data61.csiro.au writes:
Hi Munees, I am afraid that this is the limit of my TX1 knowledge. Sorry I can't be more help.
I've just managed to build and run sel4test on the TX1.
You need to load the image at 0x82000000 because it is not position independent.
Also, I had troubles with gcc 7. GCC-5.4 works.
Peter C