Python: Configuration script writes out config files for patmos configuration.