Petition is removed.  RenderMan is now available for Mac OS X, and will be available for free non-commercial usage in fall 2014.

For more info, see http://renderman.pixar.com/view/renderman-pro-server.