Genode on RK3588 and Emulation

Michael Grunditz michael.grunditz at
Mon Oct 24 10:50:23 CEST 2022

On Sun, 23 Oct 2022 at 11:41, Michael Grunditz <michael.grunditz at>

> In message <4d47681e-2c62-c03b-3935-349e75121dbb at>
>           Norman Feske <norman.feske at> wrote:
> > Hi Michael,
> > thank you for announcing your upcoming work here.
> >> As a follow up. Is there a way to use cmake in Genode sources? Like a
> >> crosscompile file.
> > There is no ready-to-use solution but your idea should be doable.
> > As a starting point, you may have a look at the Goa tool [1] that
> > integrates popular build tools like CMake with Genode. The most
> > important parts for the CMake integration are [2,3,4].
> > [1]
> > [2]
> > [3]
> > /cmake.tcl
> > [4]
> > Note that Goa works on the basis of Genode's depot packages, not the
> > Genode source repository. But I think that the way of how Goa invokes
> > CMake could also work for calling CMake from the Genode build system -
> > similar to how some Genode targets use autoconf via [5].
> > [5]
> >
> Thanks for te quick answer.
> I think I will try (already sort of done) to extract which files I need to
> buld. I hope that I can skip cmake for the emulator.
> I also found my backup from my previous aarch64 Genode project which will
> help me to get the board up and running.
> Cooling sorted and I have started coding.  Right now it crash in memory
init in Patform::Platform() probably right in when it fetches the addresses
I haven't got any trm yet, but from linux boot log I have tried with the
first ram added. If I chose a completely illegal address such as 0x0 I get
exception from uboot exception handle. Genode::raw works so at least uart
and stack is ok. With what I think is a valid address it just stops..
no errro message, and none of my debug prints from Platform::Platform().
I am basing this port on my little rk3399 port.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list