What about XenSource? I believe they were later than VMware, and they made a tidy sum when Citrix bought them.