From e06f3bba27b32e2449ebbd608c4ccd45cc95f0bf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Wed, 26 May 2021 17:21:52 +0200
Subject: [PATCH] drivers_managed-imx8q_evk: fix hdmi device node

By now the 'compatible' name is set via the 'type' attribute.

Fixes #4181.
---
 repos/gems/recipes/raw/drivers_managed-imx8q_evk/drivers.config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/gems/recipes/raw/drivers_managed-imx8q_evk/drivers.config b/repos/gems/recipes/raw/drivers_managed-imx8q_evk/drivers.config
index ff606b4cfb..c0de6c64a2 100644
--- a/repos/gems/recipes/raw/drivers_managed-imx8q_evk/drivers.config
+++ b/repos/gems/recipes/raw/drivers_managed-imx8q_evk/drivers.config
@@ -172,7 +172,7 @@
 				              driver_name="core"/>
 			</device>
 
-			<device name="hdmi" value="fsl,imx8mq-hdmi">
+			<device name="hdmi" type="fsl,imx8mq-hdmi">
 				<io_mem       address="0x32c00000" size="0x100000"/>
 				<io_mem       address="0x32e40000" size="0x40000"/>
 				<io_mem       address="0x32e2f000" size="0x10"/>