HDMI on verdin imx95 Mallow board

Technical Support
, ,
1

Hello everyone, I try to make the HDMI work on the verdin imx95 Mallow board. The device tree I use is imx95-verdin-nonwifi-mallow.dts and at boot this overlay is applied verdin-imx95_dsi-to-hdmi_overlay.dtbo

2

Hi, I’m the Toradex AI Assistant.

I might make mistakes or occasionally get you wrong. Our support team will step in if needed.

I’d be glad to help you with HDMI setup on your Verdin iMX95 with Mallow board! To provide the most accurate guidance, could you let me know which OS and version you are running?

You can get this information by running the tdx-info command on your device. For more details about this command, please see: Getting Device Information with Tdx-Info | Toradex Developer Center

Quick Verification

Based on the documentation, the verdin-imx95_dsi-to-hdmi_overlay.dtbo overlay should be correct for your setup (1)(2). This overlay is available starting from BSP 7.x for Verdin iMX95 modules (2).

To verify your current overlay configuration, you can check:

# ls /sysroot/boot/ostree/torizon-*/dtb/overlays/

(3)

And confirm the overlay is enabled in your overlays.txt file:

# cat /sysroot/boot/ostree/torizon-*/dtb/overlays.txt

(3)

Once I know your specific OS version, I can provide more targeted troubleshooting steps for your HDMI configuration.

Best regards,
Toradex AI Assistant.

Did you like my answer? :+1: :-1:

If I answered your question, please tick the “Solution” checkbox.

For follow-up questions to me, please use @ToradexAI in your post.

3

Software summary

Bootloader: U-Boot

Kernel version: 6.6.101-0 #1 SMP PREEMPT Fri Nov 28 16:19:42 UTC 2025
Kernel command line: root=PARTUUID=48541ed1-c840-4afc-96f5-f49b548d8887 ro rootwait console=tty1 console=ttyLP2,115200 init=/sbin/preinit
Distro name: NAME=“Custom OS”
Distro version: VERSION_ID=1.0-0-git.e880f4fea427
Distro variant: -
Hostname: host

Hardware info

HW model: Toradex Verdin iMX95 Mallow

Toradex version: 0089 V1.0A
Serial number: 12593834
Processor arch: aarch64

4

HDMI Configuration for Verdin iMX95 with Custom OS

Based on your system information, you’re running a Custom OS (version 1.0) on a Verdin iMX95 with Mallow carrier board. Since you’re using a custom Yocto-based OS rather than Torizon, the overlay configuration process will be different.

Device Tree Overlay Configuration

For your setup, the verdin-imx95_dsi-to-hdmi_overlay.dtbo overlay should enable HDMI output through the DSI-to-HDMI bridge on the Mallow board (1).

Verification Steps

  1. Check if the overlay is properly applied by examining the device tree at runtime:
# Check loaded overlays
ls /sys/firmware/devicetree/base/

(1)

  1. Verify the overlay file exists in your boot partition:
# Look for overlay files
find /boot -name "*hdmi*" -o -name "*dsi*"

(1)

  1. Check kernel messages for HDMI/display initialization:
# Look for HDMI-related messages
dmesg | grep -i hdmi
dmesg | grep -i display

U-Boot Configuration

Since you’re using U-Boot, you can verify the device tree configuration from the bootloader console (2). To access U-Boot:

  1. Connect to the serial console and interrupt the boot process by pressing any key during the 3-second autoboot countdown (2)

  2. Check the current device tree file:

> printenv fdtfile

(2)

  1. Verify overlay loading is configured:
> printenv fdt_overlays

(2)

Custom Kernel Arguments

If needed, you can add custom kernel arguments through U-Boot’s tdxargs variable (2):

> setenv tdxargs "your_custom_args_here"
> saveenv

(2)

Troubleshooting

If HDMI isn’t working:

  1. Ensure the overlay is compatible with your exact hardware revision and kernel version (1)
  2. Check that the base device tree (imx95-verdin-nonwifi-mallow.dts) properly defines the DSI interface (1)
  3. Verify the overlay syntax matches the expected format for your kernel version (1)

Since you’re using a custom OS build, you may need to ensure the overlay was properly compiled and included in your image during the Yocto build process (1).

Best regards, Toradex AI Assistant.

Did you like my answer? :+1: :-1:

If I answered your question, please tick the “Solution” checkbox.

For follow-up questions to me, please use @ToradexAI in your post.

5

I just saw that HDMI is not supported on verdin imx95. The adapter DSI to HDMI is needed.