rpi: add hvmpd overlay

diff --git a/raspberrypi/conf/machine/raspberrypi-extra.conf b/raspberrypi/conf/machine/raspberrypi-extra.conf
index 260ca96..dea51cd 100644 (file)
--- a/raspberrypi/conf/machine/raspberrypi-extra.conf
+++ b/raspberrypi/conf/machine/raspberrypi-extra.conf
@@ -24,3 +24,7 @@ WKS_FILE = "hvmpd-raspberrypi.wks.in"
 # be enclosed within double-quotes, and separated with a comma.
 # Exemple: SWUPDATE_HWREV = ""revA", "revB""
 SWUPDATE_HWREV = ""revA""
+
+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 1cc0c3a..aab7c0b 100644 (file)
--- a/raspberrypi/recipes-bsp/bootfiles/rpi-config_git.bbappend
+++ b/raspberrypi/recipes-bsp/bootfiles/rpi-config_git.bbappend
@@ -27,4 +27,7 @@ do_deploy:append() {
     echo "dtoverlay=gpio-key,gpio=16,active_low=0,gpio_pull=up,label=enter,keycode=28">> $CONFIG
     echo "dtoverlay=gpio-key,gpio=7,active_low=0,gpio_pull=up,label=right,keycode=106">> $CONFIG
     echo "dtoverlay=gpio-key,gpio=8,active_low=0,gpio_pull=up,label=up,keycode=103">> $CONFIG
+
+    # Enable hvmpd overlay:
+    echo "dtoverlay=hvmpd" >> $CONFIG
 }