Hello!
I have updated my genode-rockchip to include RK3399. Unfortunately
none of the targets starts using Genode from git. They doesn't survive
the jump from bootstrap/ctr0 to bootstrap/init.
https://github.com/mickenx/genode-rockchip
Michael
Short follow up. It seems to be mandatory with a size specification in mmio mapped registers. I don’t know but the uart might fail. I misinterpreted it in video driver, while change it.
If someone can take a look if would help. The uart is strictly based on imx uart so copied the size from that.