Hi Munees, try '0x82000000' instead of '0x0'!
- Amir ________________________________________ From: Kroh, Alexander (Data61, Kensington NSW) Sent: Wednesday, October 18, 2017 11:04 AM To: [email protected]; Kroh, Alexander (Data61, Kensington NSW) Cc: [email protected]; Zarrabi, Amirreza (Data61, Kensington NSW) Subject: Re: [seL4] 64 bit ARM ELF image load in Tx1 platform Hi Munees, I am afraid that this is the limit of my TX1 knowledge. Sorry I can't be more help. - Alex On Tue, 2017-10-17 at 11:03 +0530, Muneeswaran Rajendran wrote: > Hi Alex, > > Thanks for confirmation. As you suggested to use binary file to load > at address is 0x0. > > Build the binary image using menuconfig option and loaded the image > into 0x00, and used the 'go 0x0'. > > but still kernel crashed with below dump. > > Tegra210 (P2371-2180) # ext4load mmc 1 0x0 sel4test-driver-image-arm- > tx1.bin > 6858320 bytes read in 451 ms (14.5 MiB/s) > Tegra210 (P2371-2180) # go 0x0 > ## Starting application at 0x00000000 ... > "Synchronous Abort" handler, esr 0x8600000e > ELR: 0 > LR: ff1328d0 > x0 : 0000000000000001 x1 : 00000000fcc2c238 > x2 : 00000000fcc2c238 x3 : 0000000000000000 > x4 : 0000000000000030 x5 : 0000000000000000 > x6 : 00000000ffffffd0 x7 : 0000000000000044 > x8 : 0000000000000210 x9 : 0000000000000008 > x10: 000000000000000f x11: 00000000ff179c20 > x12: 0000000000000000 x13: 0000000000000040 > x14: 0000000000000001 x15: 00000000ff12c0e4 > x16: 00000000ff12c2f8 x17: 0000000000010000 > x18: 00000000fcc28df8 x19: 00000000fcc2c238 > x20: 0000000000000002 x21: 0000000000000000 > x22: 00000000fcc2c230 x23: 0000000000000002 > x24: 00000000ff198b38 x25: 0000000000000000 > x26: 0000000000000000 x27: 00000000fcc2bff0 > x28: 0000000000000000 x29: 00000000fcc24a10 > > Also verified the elf image header sections for reference the load > memory address is 0x0 > > :~$ aarch64-linux-gnu-objdump -h sel4test-driver-image-arm-tx1 > > sel4test-driver-image-arm-tx1: file format elf64- > littleaarch64 > > Sections: > Idx Name Size VMA LMA File > off Algn > 0 .text 0000700c 0000000000000000 0000000000000000 > 00010000 2**12 > CONTENTS, ALLOC, LOAD, READONLY, CODE > 1 .rodata 0044ef80 0000000000007010 0000000000007010 > 00017010 2**3 > CONTENTS, ALLOC, LOAD, DATA > 2 .bss 0000a000 0000000000456000 0000000000456000 > 00465f90 2**12 > ALLOC > 3 .comment 00000082 0000000000000000 0000000000000000 > 00465f90 2**0 > CONTENTS, READONLY > > Please suggest if anything is missing. > > Regards, > Munees > > On Tue, Oct 17, 2017 at 9:11 AM, <[email protected]> > wrote: > > 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 > > > [email protected] > > > https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
