Re: Pinebook Pro

On Tue, 20 Aug 2024 at 12:08, Christian Helmuth christian.helmuth@genode-labs.com wrote:

Hello Michael,

On Mon, Aug 19, 2024 at 20:53:29 CEST, Michael Grunditz wrote:

...

I thought that it would be cool to have Genode on Pinebook Pro ( RK3399)

That's great! Looking forward to hear the complete story ;-)

For some reason I couldn't start at EL3. It simply stops at stepping down. Is that code supposed to work? I am dropping down to EL2 in uboot now.

I am implementing at least part of the video driver in Genode now. Currently I hope that I can skip the edp bits, since uboot sets that up. Unfortunately default is little VOP and that doesn't do 32bit in 1080p.