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: Devel Digest, Vol 41, Issue 31
----------------------------------------------------------------------
Message: 1
Date: Sun, 29 Oct 2017 23:56:03 +0000
Subject: Re: [seL4] Devel Digest, Vol 41, Issue 31
Content-Type: text/plain; charset="iso-8859-1"
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
-------------- next part --------------
An HTML attachment was scrubbed...
------------------------------
Subject: Digest Footer
_______________________________________________
Devel mailing list
------------------------------
End of Devel Digest, Vol 41, Issue 33
*************************************