On Wed, Aug 21, 2024 at 11:39:22AM +0200, Stefan Kalkowski wrote:
> Hello Michael,
> 
> On Tue, Aug 20, 2024 at 02:07:44PM +0200, Michael Grunditz wrote:
> > 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.
> 
> Generally spoken, yes it is supposed to work, but hardly depends on

Sorry, I meant "strongly" not "hardly".

> the hardware platform. I can imagine that it is needed to configure
> additional TrustZone aware peripherals, e.g. memory controller to
> enable normal world access. That hardly depends on the hardware and
> its default values. You might have a look at the EL3 firmware
> (probably ARM Trusted Firmware), which is loaded via u-boot, what else
> it does configure beside the CPU registers we're touching in
> `prepare_non_secure_world`.
> 
> The real hardware we're using typically prepares EL3 mode via u-boot
> too. But under Qemu / Raspberry Pi3 we boot through EL3.
> 
> Regard Stefan
> 
> > 
> > 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/
> 
> -- 
> Stefan Kalkowski
> Genode labs
> 
> https://github.com/skalk | https://genode.org
> _______________________________________________
> 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/I3564CHWSOLYSK6PPYBIYGQTHMA6R4O3/

-- 
Stefan Kalkowski
Genode labs

https://github.com/skalk | https://genode.org
_______________________________________________
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/UEBTYS5I2MMPJBOBN66G74X5USMZDHBN/

Reply via email to