Re: [seL4] 64 bit ARM ELF image load in Tx1 platform

...

...

...

...

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)