Hello
I would like to know the requirements from u-boot in order to properly start genode.
I know you are using bootm command, but that doesn't work at all with rockchip boards. Not sure if it is rockchip specific, but bootm will in the end try to switch to el2 which will surely fail in my case, since it's already there. It also requires dt blob and or atags, if not there - hang.
I have tried to drop to el1 from uboot and with genode image as EP. That works a bit better then just jumping to it from el2. But strange things happens. No output from Genode can be seen. I can output characters to uart , but the uart driver or something in between fails.
I have tested with adding a crash the last thing it does in enable_mmu , and I get that crash. My guess is that it actually starts, but not sure. One thing that struck me was that it looked a bit like a serial communication error, like a baud rate issue. rockchip insists on running a silly high baud rate.
So the first question is what I want to know,, the requirements. I have no problems with adjusting things .
Best regards, Michael