No ha preguntado por el HDMI, sino por el
mini HDMI.
En realidad el mini HDMI en sí mismo no vale para nada (ya que no hay monitores/pantallas que tengan entrada mini HDMI). Se pone en algunas gráficas por
falta de espacio para poner un HDMI o DVI. El uso real es convertirlo a DVI-D o a HDMI normal, lo cual puede hacerse con un adaptador o con un cable miniHDMI-DVI/HDMI.
Que yo sepa, actualmente lo monta solamente nVidia, frente a ATI que típicamente monta
mini DisplayPort. Realmente el mini-DP es mejor porque puede adaptarse a HDMI (con sonido), DVI, DisplayPort e incluso VGA (los Apple puede adaptarse a VGA) . Pero parece que nVidia aún no ha dado el salto a DP, pese a que es un estándar y puede adaptarse a un mayor número de señales.
PD: Los adaptadores generalmente te vendrán con la gráfica, por lo menos el de mini HDMI a HDMI y el de DVI-I a VGA.