Out of tree hardware platforms

Duss Pirmin pirmin.duss at gapfruit.com
Thu Oct 1 13:43:12 CEST 2020

Hi Genodians

I'm enabling base-hw on the IoT gateway of CompuLab [1].

I do this in a separate repository in the same way as arndale, panda etc
are done in genode-world. This works well apart from some minor
modifications on the imx8q_evk (for which I will create an issue as soon
everything is finalized and cleaned up).

The only thing I'm struggling with is that /tool/run/boot_dir/hw isn't
used. This leads to the error

unknown platform no linker address known

If I add the platform to genode/tool/run/boot_dir/hw building works. But
as with the other out of tree platforms I'd like to keep the platform
out of the Genode repository, for cleanness.

The repository is linked to genode/repos/... and added to REPOSITORIES
in build/arm_v8a/etc/build.conf.


Best regards,

More information about the users mailing list