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"
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:
To:
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
