Unofficial copy of RAMCloud repo