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.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.
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-leave@lists.genode.org Archived at https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/mes...
-- 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-leave@lists.genode.org Archived at https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/mes...