Integrate the DEOS configuration generator