diff options
| -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" |