On Tue, 20 Aug 2024 at 12:08, Christian Helmuth <christian.helm...@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. _______________________________________________ users mailing list -- users@lists.genode.org To unsubscribe send an email to users-le...@lists.genode.org Archived at https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/message/3EPGVR6AL4TKMXLUVOQXOOWNRT5RDXAK/
