[Zope] what hardware is used for zope.org cluster?

Hi all, I studied the cluster-setup of the zope.org cluster with great interest. Does anyone know what hardware is used for this cluster? TIA, greetings, Antwan.