Hi @vix,
I can verify this was added on the latest nightly:
orizon@verdin-imx8mp-14777535:~$ ls -lh /boot/ostree/torizon-26c36e467e61e81b52eeba2c283c92f30f2465f3f7d40fde7af59e1e65f483c0/dtb/overlays | grep hmp
-rw-r--r-- 1 root root 2.6K Jan 1 1970 verdin-imx8mp_hmp_overlay.dtbo
torizon@verdin-imx8mp-14777535:~$ sudo tdx-info
Software summary
------------------------------------------------------------
Bootloader: U-Boot
Kernel version: 5.15.77-6.3.0-devel+git.8fd3bb014f54 #1-TorizonCore SMP PREEMPT Fri Apr 21 06:53:45 UTC 2023
Kernel command line: root=LABEL=otaroot rootfstype=ext4 quiet logo.nologo vt.global_cursor_default=0 plymouth.ignore-serial-consoles splash fbcon=map:3 ostree=/ostree/boot.1/torizon/26c36e467e61e81b52eeba2c283c92f30f2465f3f7d40fde7af59e1e65f483c0/0
Distro name: NAME="TorizonCore"
Distro version: VERSION_ID=6.3.0-devel-20230427-build.255
Hostname: verdin-imx8mp-14777535
------------------------------------------------------------
Hardware info
------------------------------------------------------------
HW model: Toradex Verdin iMX8M Plus WB on Verdin Development Board
Toradex version: 0058 V1.1A
Serial number: 14777535
Processor arch: aarch64
------------------------------------------------------------
I’ve downloaded using Toradex Easy Installer with the feeds for nightly builds enabled.
Best Regards,
Hiago.