From 01851dad81ac88fc38bdb6677ca1cf93da29bb15 Mon Sep 17 00:00:00 2001 From: Gary Thomas Date: Wed, 30 Oct 2013 20:40:19 +0000 Subject: machine/*: Allow kernel provider override All machine configurations now allow user override of the preferred kernel provider. Signed-off-by: Gary Thomas --- conf/machine/include/imx-base.inc | 2 +- conf/machine/include/mxs-base.inc | 2 +- conf/machine/twr-vf65gs10.conf | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/conf/machine/include/imx-base.inc b/conf/machine/include/imx-base.inc index beeee5f..3199238 100644 --- a/conf/machine/include/imx-base.inc +++ b/conf/machine/include/imx-base.inc @@ -88,7 +88,7 @@ PREFERRED_PROVIDER_virtual/libgl_mx6 ?= "gpu-viv-bin-mx6q" PREFERRED_PROVIDER_virtual/libgles1_mx6 ?= "gpu-viv-bin-mx6q" PREFERRED_PROVIDER_virtual/libgles2_mx6 ?= "gpu-viv-bin-mx6q" -PREFERRED_PROVIDER_virtual/kernel_mx3 = "linux-fslc" +PREFERRED_PROVIDER_virtual/kernel_mx3 ?= "linux-fslc" EXTRA_IMAGEDEPENDS = "u-boot" diff --git a/conf/machine/include/mxs-base.inc b/conf/machine/include/mxs-base.inc index a048f9c..b200899 100644 --- a/conf/machine/include/mxs-base.inc +++ b/conf/machine/include/mxs-base.inc @@ -9,7 +9,7 @@ include conf/machine/include/tune-arm926ejs.inc SOC_FAMILY = "mxs" -PREFERRED_PROVIDER_virtual/kernel_mx23 = "linux-fslc" +PREFERRED_PROVIDER_virtual/kernel_mx23 ?= "linux-fslc" UBOOT_ENTRYPOINT = "0x40008000" UBOOT_MAKE_TARGET = "u-boot.sb" diff --git a/conf/machine/twr-vf65gs10.conf b/conf/machine/twr-vf65gs10.conf index f726ffa..8b6c6d5 100644 --- a/conf/machine/twr-vf65gs10.conf +++ b/conf/machine/twr-vf65gs10.conf @@ -8,7 +8,7 @@ include conf/machine/include/tune-cortexa5.inc SOC_FAMILY = "vf60" -PREFERRED_PROVIDER_virtual/kernel = "linux-timesys" +PREFERRED_PROVIDER_virtual/kernel ?= "linux-timesys" UBOOT_MACHINE = "vf610twr_config" -- cgit v1.2.3-54-g00ecf