20 Aug
2024
20 Aug
'24
12:07 p.m.
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.