Genode on RK3588 and Emulation

[Norman Feske]

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

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

https://www.genode-labs.com · https://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth