The mihos infrastructure