rpi: add hvmpd overlay

diff --git a/raspberrypi/conf/machine/raspberrypi-extra.conf b/raspberrypi/conf/machine/raspberrypi-extra.conf
index f872456..d6120b0 100644 (file)
--- a/raspberrypi/conf/machine/raspberrypi-extra.conf
+++ b/raspberrypi/conf/machine/raspberrypi-extra.conf
@@ -19,3 +19,7 @@ ENABLE_UART = "1"
 VIDEO_CAMERA = "0"
 
 WKS_FILE = "hvmpd-raspberrypi.wks.in"
+
+RPI_KERNEL_DEVICETREE_OVERLAYS += " \
+    overlays/hvmpd.dtbo \
+"

diff --git a/raspberrypi/recipes-bsp/bootfiles/rpi-config_git.bbappend b/raspberrypi/recipes-bsp/bootfiles/rpi-config_git.bbappend
index 585ac66..ea3d705 100644 (file)
--- a/raspberrypi/recipes-bsp/bootfiles/rpi-config_git.bbappend
+++ b/raspberrypi/recipes-bsp/bootfiles/rpi-config_git.bbappend
@@ -19,4 +19,7 @@ do_deploy:append() {
 
     # Prevent any HDMI connection from transmitting sound output:
     sed -i 's/^\(.*dtoverlay=vc4-kms-v3d\).*/\1,noaudio/' $CONFIG
+
+    # Enable hvmpd overlay:
+    echo "dtoverlay=hvmpd" >> $CONFIG
 }