diff options
author | Andrei Gherzan <andrei@gherzan.ro> | 2014-01-19 23:03:21 +0200 |
---|---|---|
committer | Andrei Gherzan <andrei@gherzan.ro> | 2014-01-25 13:02:13 +0200 |
commit | 26fa448b0c705bb101593f0716cdfa402e5f166a (patch) | |
tree | 87d7900e1ba1cede4ae32fe63556593987b94007 | |
parent | 8778a3724c7f2b24f864c4d3b86f5cfe754d2b0c (diff) | |
download | meta-raspberrypi-26fa448b0c705bb101593f0716cdfa402e5f166a.tar.gz |
rpi-default-providers: Use u-boot-rpi as u-boot provider
Change-Id: Ic537cada66ff09cde592da977a109415e05cb19c
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
-rw-r--r-- | conf/machine/include/rpi-default-providers.inc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/conf/machine/include/rpi-default-providers.inc b/conf/machine/include/rpi-default-providers.inc index f86aab4..65cda07 100644 --- a/conf/machine/include/rpi-default-providers.inc +++ b/conf/machine/include/rpi-default-providers.inc | |||
@@ -1,9 +1,10 @@ | |||
1 | # RaspberryPi BSP default providers | 1 | # RaspberryPi BSP default providers |
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 | ||
5 | PREFERRED_VERSION_linux-raspberrypi ?= "3.10.%" | 4 | PREFERRED_VERSION_linux-raspberrypi ?= "3.10.%" |
6 | 5 | ||
6 | PREFERRED_PROVIDER_u-boot = "u-boot-rpi" | ||
7 | |||
7 | PREFERRED_PROVIDER_virtual/xserver = "xserver-xorg" | 8 | PREFERRED_PROVIDER_virtual/xserver = "xserver-xorg" |
8 | PREFERRED_PROVIDER_virtual/egl ?= "userland" | 9 | PREFERRED_PROVIDER_virtual/egl ?= "userland" |
9 | PREFERRED_PROVIDER_virtual/libgles2 ?= "userland" | 10 | PREFERRED_PROVIDER_virtual/libgles2 ?= "userland" |