[S] Change in onomondo-eim[master]: config: update sys.dev.config