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

Thanks and Regards


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

To subscribe or unsubscribe via the World Wide Web, visit
or, via email, send a message with subject or body 'help' to

You can reach the person managing the list at

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)


Message: 1
Date: Thu, 26 Oct 2017 03:23:06 +0000
Subject: Re: [seL4] Loading bin image on RPI3(Remainder)
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

-------------- next part --------------
An HTML attachment was scrubbed...


Subject: Digest Footer

Devel mailing list


End of Devel Digest, Vol 41, Issue 31