# mic-infra Compose, make, docker, config files and scripts used to setup the MIC infrastructure and (hopefully) some documentation on how to use it.