Allow the user to ultimately choose the kernel. Make 'linux' the _preferred_, not the _required_.
Signed-off-by: Trevor Woerner <twoer...@gmail.com> --- conf/machine/include/rk3288.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/conf/machine/include/rk3288.inc b/conf/machine/include/rk3288.inc index 964d8b0..88acbbf 100644 --- a/conf/machine/include/rk3288.inc +++ b/conf/machine/include/rk3288.inc @@ -6,7 +6,7 @@ SOC_FAMILY = "rk3288" require conf/machine/include/tune-cortexa17.inc require conf/machine/include/soc-family.inc -PREFERRED_PROVIDER_virtual/kernel = "linux" +PREFERRED_PROVIDER_virtual/kernel ?= "linux" SERIAL_CONSOLES = "115200;ttyS2" KERNEL_IMAGETYPE = "zImage" KBUILD_DEFCONFIG = "multi_v7_defconfig" -- 2.12.0.rc1.48.g076c053 -- _______________________________________________ yocto mailing list yocto@yoctoproject.org https://lists.yoctoproject.org/listinfo/yocto
