Building the SERL infrastructure – the story so far