On Fri, 6 Nov 2020 at 16:40, Michael Grunditz <[email protected]> wrote: > > On Fri, 6 Nov 2020 at 12:16, Stefan Kalkowski > <[email protected]> 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 _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
