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: "[email protected]" <[email protected]>
To: [email protected]
Sent: Thursday, 26 October 2017 8:48 PM
Subject: Devel Digest, Vol 41, Issue 31
Send Devel mailing list submissions to
[email protected]
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
[email protected]
You can reach the person managing the list at
[email protected]
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)
([email protected])
----------------------------------------------------------------------
Message: 1
Date: Thu, 26 Oct 2017 03:23:06 +0000
From: <[email protected]>
To: <[email protected]>
Subject: Re: [seL4] Loading bin image on RPI3(Remainder)
Message-ID: <[email protected]>
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://sel4.systems/pipermail/devel/attachments/20171026/84689398/attachment-0001.html>
------------------------------
Subject: Digest Footer
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
------------------------------
End of Devel Digest, Vol 41, Issue 31
*************************************
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
