Hi Munees, Apologies for the bum steer. I have now heard that the "bootelf" command does not work on the tx1, obviously this information comes too late. The alternative is to convert the elf format file into a binary file, load it to the correct location in memory, and use the "go" command with the appropriate entry point. From the elf file, the load address and entry point should both be 0x0. The menuconfig has an option for generating binary files under: Tools -> Build elfloader -> Boot image type - Alex On Mon, 2017-10-16 at 19:31 +0530, Muneeswaran Rajendran wrote:
Hi All,
I have been trying to load 64bit seL4 (kernel+user space) ELF image on Tx1 board but it's failed to start the application and crashed with reason '"Synchronous Abort" handler, esr 0x02000000' always.
Just walk through the Tx1 u-boot code and found that 'load_elf_image_phdr(unsigned long addr)' is using 32bit ELF header structure pointer to load the program header.
I would like to understand whether 64bit ELF image load handled using 32bit elf header itself or we need to configure u-boot to load 64 bit ELF image ?
I have modified the kernel base addr as 0xffffffc000080000 and phyadd as 0x80080000 to boot sel4 app image on TX1 board nothing has worked out.
Please share details if someone succeeded to bring sel4 app elf image on Tx1 platform.
Regards, Munees _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel