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"
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:
To:
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
