From 1314c73b80d96d63dd400821b2cd9560fe6c1e53 Mon Sep 17 00:00:00 2001 From: Hugo Villeneuve Date: Mon, 28 Oct 2024 18:26:16 -0400 Subject: [PATCH] rpi: add hvmpd overlay --- raspberrypi/conf/machine/raspberrypi-extra.conf | 4 ++++ raspberrypi/recipes-bsp/bootfiles/rpi-config_git.bbappend | 3 +++ 2 files changed, 7 insertions(+) diff --git a/raspberrypi/conf/machine/raspberrypi-extra.conf b/raspberrypi/conf/machine/raspberrypi-extra.conf index f872456..d6120b0 100644 --- 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 --- 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 } -- 2.20.1