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, <[email protected]> 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
> [email protected]
> https://sel4.systems/lists/listinfo/devel
>
>
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
