Re: [seL4] sel4Test development Tx1 platform

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, 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