openfabrics.org is currently having some DNS problems; we're working on it. Developers: the server IP address is 146.246.248.81. As a temporary workaround, add this IP address in /etc/hosts for *.openfabrics.org and you should be able to continue working. -- Jeff Squyres Server Virtualization Business Unit Cisco Systems