Re: Implementing additional SPECS in genode-world

2016-05-03 Thread Johannes Schlatow
> Hi Johannes, > > > 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/core.inc) > > > > Now, the issue is t

Re: Implementing additional SPECS in genode-world

2016-05-03 Thread Norman Feske
Hi Johannes, > 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/core.inc) > > Now, the issue is that including make

Implementing additional SPECS in genode-world

2016-05-03 Thread Johannes Schlatow
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_zedboar