From ade923f17d242f9a043b1714deb584929a2ffe8e Mon Sep 17 00:00:00 2001 From: Andrei Gherzan Date: Mon, 10 Aug 2015 23:16:05 +0200 Subject: [PATCH] rpi-default-providers: Let users overwrite the default providers [Feature #65] Signed-off-by: Andrei Gherzan Signed-off-by: Pierre FICHEUX --- conf/machine/include/rpi-default-providers.inc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/conf/machine/include/rpi-default-providers.inc b/conf/machine/include/rpi-default-providers.inc index ee3a3ac..cabbd43 100644 --- a/conf/machine/include/rpi-default-providers.inc +++ b/conf/machine/include/rpi-default-providers.inc @@ -1,10 +1,10 @@ # RaspberryPi BSP default providers -PREFERRED_PROVIDER_virtual/kernel = "linux-raspberrypi" -PREFERRED_PROVIDER_u-boot = "u-boot-rpi" -PREFERRED_PROVIDER_virtual/xserver = "xserver-xorg" +PREFERRED_PROVIDER_virtual/kernel ?= "linux-raspberrypi" +PREFERRED_PROVIDER_u-boot ?= "u-boot-rpi" +PREFERRED_PROVIDER_virtual/xserver ?= "xserver-xorg" PREFERRED_PROVIDER_virtual/egl ?= "userland" PREFERRED_PROVIDER_virtual/libgles2 ?= "userland" PREFERRED_PROVIDER_virtual/libgl ?= "mesa-gl" PREFERRED_PROVIDER_virtual/mesa ?= "mesa-gl" -PREFERRED_PROVIDER_jpeg = "jpeg" +PREFERRED_PROVIDER_jpeg ?= "jpeg"