1 files changed, 2 insertions, 0 deletions

diff --git a/conf/machine/p4080ds.conf b/conf/machine/p4080ds.conf
index 36f3d944..270c4ab5 100644
--- a/conf/machine/p4080ds.conf
+++ b/conf/machine/p4080ds.conf
@@ -19,6 +19,8 @@ UBOOT_SOURCE_NAND = "u-boot.pbl"
 UBOOT_SOURCE_SPI = "u-boot.pbl"
 UBOOT_SOURCE_SD = "u-boot.pbl"
 
+HV_CFG_M = "p4080ds"
+
 KERNEL_DEVICETREE ?= "p4080ds.dtb p4080ds-usdpaa.dtb \
     p4080ds-usdpaa-shared-interfaces.dtb \
 "