On Sun, 23 Oct 2022 at 11:41, Michael Grunditz <[email protected]>
wrote:

> In message <[email protected]>
>           Norman Feske <[email protected]> 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] https://github.com/nfeske/goa
> > [2] https://github.com/nfeske/goa/tree/master/share/goa/cmake
> > [3] https://github.com/nfeske/goa/blob/master/share/goa/lib/build
> > /cmake.tcl
> > [4] https://github.com/nfeske/goa/blob/master/share/goa/lib/flags.tcl
>
> > 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]
> >
> https://github.com/genodelabs/genode/blob/master/repos/ports/mk/gnu_build.mk
> 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.

Michael
_______________________________________________
Genode users mailing list
[email protected]
https://lists.genode.org/listinfo/users

Reply via email to