All machine configurations now allow user override of the preferred
kernel provider.
Signed-off-by: Gary Thomas <gary@mlbassoc.com>
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"
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"
SOC_FAMILY = "vf60"
-PREFERRED_PROVIDER_virtual/kernel = "linux-timesys"
+PREFERRED_PROVIDER_virtual/kernel ?= "linux-timesys"
UBOOT_MACHINE = "vf610twr_config"