4.2. Configuration on Linux platforms