Implementing additional SPECS in genode-world

Johannes Schlatow schlatow at ...238...
Tue May 3 17:21:05 CEST 2016

This is a follow-up of my previous approach [1] on separating the support of additional platforms from the official repository:

In addition to the zynq_qemu SPEC variable that is already existent in the official repository, I'd like to add SPEC variables like `zynq_parallella` and `zynq_zedboard` to genode-world. However, I just ran into a conceptual problem that I'd like to discuss here.

First, I can place a in genode-world/lib/mk/specs/zynq_parallella, which is then used as soon as I change the SPECS from zynq_qemu to zynq_parallella. I am also able to set the include directories properly.

The point where I got stuck, however, is that I need to include the less-specific configuration files within base-hw, which I achieve by the following line:

	include $(call select_from_repositories,lib/mk/spec/zynq/

Now, the issue is that including makefiles from other repositories won't work properly. This is due to the fact that $REP_DIR (used e.g. in will evaluate to `[...]/repos/world` and not `[...]/repos/base-hw`.

Do you have any idea on how to work around this or even on how to improve the build system in order to support this use case?



More information about the users mailing list