Hi Kofi,

We are trying to bring the sel4 kernel on Tx1 board using SD card. The following step used to bring up sel4 kernel.

1. flash the kernel.elf as part of Root FS
2. stop the u-boot prompt and allow to boot from flashed elf image using #ext4load mmc 1 ${loadaddr} ${bootfile}

but it crashed immediately with below coredump.

Tegra210 (P2371-2180) # setenv bootfile kernel.elfTegra210 (P2371-2180)
# ext4load mmc 1 ${loadaddr} ${bootfile}894203 bytes read in 182 ms (4.7 MiB/s)Tegra210 (P2371-2180)
# bootelf ${loadaddr}#
# Starting application at 0x00000000 ...
"Synchronous Abort" handler, esr 0x02000000ELR:     0LR:      ff135194x0 : 0000000000000001 x1 : 00000000fcc30e28x2 : 0000000000000006 x3 : 000000000000000fx4 : ffffffffffffffff x5 : 000000000000001cx6 : ffffffffffffffff x7 : 0000000000000000x8 : 0000000000000001 x9 : 0000000000000008x10: 000000000a200023 x11: 0000000000000002x12: 0000000000000002 x13: 0000000000000040x14: 0000000000000001 x15: 00000000ff12c0d0x16: 00000000ff12c3dc x17: 0000000000010000x18: 00000000fcc28df8 x19: 0000000000000000

Please share the steps followed to bring seL4 kernel on Tx1 board.

Regards,
Muneeswaran
 

On Wed, Oct 11, 2017 at 10:11 AM, <Kofidoku.Atuah@data61.csiro.au> wrote:
Hi Muneeswaran,

Well, about here is where we're (quickly) approaching the limits of my usefulness: I have never personally worked with the TX1 board, and I don't know how to flash a u-boot image onto it.

If you're talking though, about trying to get an seL4 kernel image to run on the CPU, then that shouldn't require you to flash anything. Assuming there is already a working, viable u-boot installed on your TX1, you should be able to boot the seL4 kernel using fastboot, TFTP, or boot it from an SD card or USB flash drive. I cannot comment on which of these methods is available on your TX1 board, because again: I have no experience with the TX1 platform. But I'm pretty confident that you at least shouldn't have to flash anything to boot seL4 on your board *assuming* you already have u-boot flashed onto it.

-- 
Kofi Doku Atuah
Kernel engineer
DATA61 | CSIRO


_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel