18 Oct
2017
18 Oct
'17
4:26 a.m.
<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 -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61 (formerly NICTA)