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 & RegardsAshok
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 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: Devel Digest, Vol 41, Issue 31 (Kofidoku.Atuah@data61.csiro.au)
----------------------------------------------------------------------
Message: 1 Date: Sun, 29 Oct 2017 23:56:03 +0000 From: Kofidoku.Atuah@data61.csiro.au To: devel@sel4.systems Subject: Re: [seL4] Devel Digest, Vol 41, Issue 31 Message-ID: 1509321363766.62194@data61.csiro.au 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