Hello, I have a rpi-b-rev2 (two holes, 512M) and when I was trying to test vc4 driver, the HDMI wans't being detected. So I changed the hpd-gpios from ACTIVE_LOW to ACTIVE_HIGH and now it works correctly. I can see that modeprint from libdrm detects correctly when the display is plugged and when it is unpluggled. So I was wondering if this is just in my board or if there is an error in the dts (which I think it's unlikely). In any case I am dropping this email here in case anyone else see this problem, if you do, try appliying the patch below. Regards, Helen --- arch/arm/boot/dts/bcm2835-rpi-b-rev2.dts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arch/arm/boot/dts/bcm2835-rpi-b-rev2.dts b/arch/arm/boot/dts/bcm2835-rpi-b-rev2.dts index 5641d162dfdb..28e7513ce617 100644 --- a/arch/arm/boot/dts/bcm2835-rpi-b-rev2.dts +++ b/arch/arm/boot/dts/bcm2835-rpi-b-rev2.dts @@ -93,7 +93,7 @@ }; &hdmi { - hpd-gpios = <&gpio 46 GPIO_ACTIVE_LOW>; + hpd-gpios = <&gpio 46 GPIO_ACTIVE_HIGH>; }; &pwm { -- 2.20.1