Commit 79812eef authored by Gary Thomas's avatar Gary Thomas Committed by Otavio Salvador

machine/*: Allow kernel provider override

All machine configurations now allow user override of the preferred
kernel provider.
Signed-off-by: 's avatarGary Thomas <gary@mlbassoc.com>
parent c2a5d171
......@@ -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"
......
......@@ -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"
......
......@@ -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"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment