We used the VMware iso, since SuperMicro does not have a vendor-specific ISO.
(Since this was two years ago, is there any way to check from the running system? I know that we did download the HP flavor since we were doing some testing on a separate piece of HP hardware before assembling our current system.)