A. Configuration Language

This section describes the Configuration Language to be used to write the configuration definition files of DROPS packages.

As the drops configuration tool is inherited from the Linux Kernel Configuration Tool, the Configuration Language is the same. Hence, the text is that of the Linux-Kernel, version 2.4.18.



Subsections

L4 Checker 2012-04-11