Me compré un adaptador DisplayPort a HDMI específico porque se suponía que estaba soportado en Linux para hacer trucos de HDMI-CEC, como recibir las pulsaciones de las teclas del mando a distancia de la tele.

Lo probé en un Linux con una tarjeta gráfica con Nvidia y no iba ni para atrás.

Pero hoy en cambio lo he probado con un portátil con DisplayPort y gráfica integrada Intel y aunque en mis breves pruebas no he conseguido recibir las pulsaciones del mando, alguna cosa sí ha funcionado.