[PATCH v2] arm64: dts: rockchip: configure hdmirx in Rock 5 ITX

[Pedro Alves]

Hi again, sorry for the follow-up:

On 10/03/2026 08:48, Heiko Stuebner wrote:
> Am Mittwoch, 4. März 2026, 21:44:39 Mitteleuropäische Normalzeit schrieb Pedro Alves:
>> +	pinctrl-names = "default";
>> +	hpd-gpios = <&gpio1 RK_PC6 GPIO_ACTIVE_LOW>;
> 
> Also please provide a pinctrl setting for the gpio hpd pin.

I might be missing something, but isn't this already present with the
hdmirx_det pin? It's configured as hdmirx_hpd in other boards, but for
this one I left the hdmirx_det pin name after discussion in v1 of this
patch to match the schematic.

If you mean something else, please let me know.

Thanks,
Pedro