On Fri, 6 Nov 2020 at 16:40, Michael Grunditz michael.grunditz@gmail.com wrote:
On Fri, 6 Nov 2020 at 12:16, Stefan Kalkowski stefan.kalkowski@genode-labs.com wrote:
That is nice to hear. If you were successful, I would be glad is you share your experiences with us.
Hmmm.. where is the entry to the boot image, I don't get anything on the serial port, tried both with bootm (uboot image) and 'go' (binary). I gave ctr0.s a shot and put out a character on the uart, but no luck. So I don't think I get to image entry..
EHem , it helps editing the correct file! Should have noticed from running objdump -S
Sorry for the spam, I am back on track.
Michael