genode/repos/base/etc
2019-05-29 10:20:52 +02:00
..
README Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
tools.conf tool_chain: versioned install location 2019-05-29 10:20:52 +02:00

This directory contains default configuration files that are used
by the '<role>.mk' files in the 'mk/' directory. By
convention, configuration files are first read from here
followed by a corresponding config file in '<builddir>/etc/'.


Convention
~~~~~~~~~~

We include config files directly into makefiles. So the basic
makefile syntax applies here, too.

Config files should
* Have '.conf' as filename extension.
* Use only assignments but provide no rules or other 'make'-magic.
* Not include other files!