On Wed, 21 Aug 2024 at 12:02, Stefan Kalkowski stefan.kalkowski@genode-labs.com wrote:
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".
Thanks! I see. I think I leave it as is for now .. no problems with switching to EL2 before starting Genode. I have been trying to understand ATF before and that gave me lots of headache!
/Michael