diff options
| author | Andrei Gherzan <andrei@gherzan.ro> | 2013-11-13 16:27:38 +0200 |
|---|---|---|
| committer | Andrei Gherzan <andrei@gherzan.ro> | 2013-11-13 18:24:39 +0200 |
| commit | c96c590d0cb4d52db5134bc010a602f9e0a3b471 (patch) | |
| tree | 7e343f49b0f447e8fa76299e72f8ad4f89767ca3 | |
| parent | 4498a2be506bb51fc0f603cdd854fee79e34d7a0 (diff) | |
| download | meta-raspberrypi-c96c590d0cb4d52db5134bc010a602f9e0a3b471.tar.gz | |
rpi-default-providers: Use 3.10.X as default kernel
This is the default/base branch on official github repository:
https://github.com/raspberrypi/linux/branches
Change-Id: I99702ae7548b49a5b4b575b3f02f5a3a48ad347f
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
| -rw-r--r-- | conf/machine/include/rpi-default-providers.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/conf/machine/include/rpi-default-providers.inc b/conf/machine/include/rpi-default-providers.inc index 1a647c9..ffdb4f9 100644 --- a/conf/machine/include/rpi-default-providers.inc +++ b/conf/machine/include/rpi-default-providers.inc | |||
| @@ -2,7 +2,7 @@ | |||
| 2 | 2 | ||
| 3 | PREFERRED_PROVIDER_virtual/kernel = "linux-raspberrypi" | 3 | PREFERRED_PROVIDER_virtual/kernel = "linux-raspberrypi" |
| 4 | # The default kernel version is the same as used by Raspbian | 4 | # The default kernel version is the same as used by Raspbian |
| 5 | PREFERRED_VERSION_linux-raspberrypi ?= "3.6.%" | 5 | PREFERRED_VERSION_linux-raspberrypi ?= "3.10.%" |
| 6 | 6 | ||
| 7 | PREFERRED_PROVIDER_virtual/xserver = "xserver-xorg" | 7 | PREFERRED_PROVIDER_virtual/xserver = "xserver-xorg" |
| 8 | PREFERRED_PROVIDER_virtual/egl ?= "userland" | 8 | PREFERRED_PROVIDER_virtual/egl ?= "userland" |