>>>>> <[email protected]> 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 -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61 (formerly NICTA) _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
