From e921fcc54c9f807b462ff831e1cb381afef952a3 Mon Sep 17 00:00:00 2001 From: Alexandru Niculita Date: Tue, 12 Nov 2013 17:36:50 +0200 Subject: Make Linux 3.6 the default for Raspberry Pi From: Philipp Wagner Kernel 3.6 is also the default for Raspbian and thus should be the most tested version right now. Change-Id: I03a75fa1be3ab0f8f43fb09a8fff779c6d9100e7 Signed-off-by: Philipp Wagner Signed-off-by: Alexandru Niculita --- conf/machine/include/rpi-default-providers.inc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/conf/machine/include/rpi-default-providers.inc b/conf/machine/include/rpi-default-providers.inc index 665c6e0..1a647c9 100644 --- a/conf/machine/include/rpi-default-providers.inc +++ b/conf/machine/include/rpi-default-providers.inc @@ -1,6 +1,9 @@ # RaspberryPi BSP default providers PREFERRED_PROVIDER_virtual/kernel = "linux-raspberrypi" +# The default kernel version is the same as used by Raspbian +PREFERRED_VERSION_linux-raspberrypi ?= "3.6.%" + PREFERRED_PROVIDER_virtual/xserver = "xserver-xorg" PREFERRED_PROVIDER_virtual/egl ?= "userland" PREFERRED_PROVIDER_virtual/libgles2 ?= "userland" -- cgit v1.2.3-54-g00ecf