Hi Kofi,
Thanks for the steps, i am able to load sel4test-driver-image-arm-bcm2837 on RPI3. but my question is i generated a sel4test-driver-image-arm-bcm2837.bin(binary image) for RPI3 i want to load these image on RPI3, can you help me out to load these image on RPI3...
Hardware/Rpi3 - seL4Wiki these steps are used to load elf image on RPI3.... but i want to load binary image on RPI3...
| | | Hardware/Rpi3 - seL4Wiki | |
|
Thanks and Regards Ashokkumar
From: "devel-request@sel4.systems" devel-request@sel4.systems To: devel@sel4.systems Sent: Thursday, 26 October 2017 8:48 PM Subject: Devel Digest, Vol 41, Issue 31
Send Devel mailing list submissions to devel@sel4.systems
To subscribe or unsubscribe via the World Wide Web, visit https://sel4.systems/lists/listinfo/devel or, via email, send a message with subject or body 'help' to devel-request@sel4.systems
You can reach the person managing the list at devel-owner@sel4.systems
When replying, please edit your Subject line so it is more specific than "Re: Contents of Devel digest..."
Today's Topics:
1. Re: Loading bin image on RPI3(Remainder) (Kofidoku.Atuah@data61.csiro.au)
----------------------------------------------------------------------
Message: 1 Date: Thu, 26 Oct 2017 03:23:06 +0000 From: Kofidoku.Atuah@data61.csiro.au To: devel@sel4.systems Subject: Re: [seL4] Loading bin image on RPI3(Remainder) Message-ID: 1508988186794.61071@data61.csiro.au Content-Type: text/plain; charset="iso-8859-1"
Hi Ashokk,
Thanks for pointing this issue out, and sorry I took so long to get back to you -- I've investigated and come up with a workaround until we can fix the underlying caching problem here: could you try following the instructions on this page? https://wiki.sel4.systems/Hardware/Rpi3#preview
There should be a pre-built U-Boot binary image there which should successfully load your seL4 kernel image. Please let me know how things go~
-- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO
Hi Ashokk,
I believe if you replace the command,
"bootelf 0x10000000" with "go 0x10000000",
That should be all that's needed to boot a raw binary image -- lemme know how things go though~
-- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO