Add configuration for serre-semis