Hi Kofi,

I tried with go command, but it is not working, board is getting hang...

U-boot> go 0x10000000
## Starting application at 0x10000000 ...

after these i am not able to access the board, i need to reset again...

Thanks & Regards

From: "devel-request@sel4.systems" <devel-request@sel4.systems>
To: devel@sel4.systems
Sent: Monday, 30 October 2017 11:54 PM
Subject: Devel Digest, Vol 41, Issue 33

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

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


Subject: Digest Footer

Devel mailing list


End of Devel Digest, Vol 41, Issue 33