Both Intel and HP have donated to OpenBSD: http://www.openbsd.org/donations.html