Guide for dualbooting Isis and Mavericks