While no hard plans were revealed at the Red Hat Summit, it's clear that Red Hat's DevOps and HashiCorp's IaC programs will end up working together.