We use both. This post was about the x86 version of our edge servers.