Hi Muneeswaran,

The steps that you are using are correct, but it looks like you are
trying to boot the kernel without a user space image.

Try booting a complete image file from the ./images/ directory of the
project that you are using.


 - Alex

On Wed, 2017-10-11 at 13:22 +0530, Muneeswaran Rajendran wrote:
> 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
> >
> _______________________________________________
> Devel mailing list
> Devel@sel4.systems
> https://sel4.systems/lists/listinfo/devel