c96c590d0c
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>
10 lines
350 B
PHP
10 lines
350 B
PHP
# 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.10.%"
|
|
|
|
PREFERRED_PROVIDER_virtual/xserver = "xserver-xorg"
|
|
PREFERRED_PROVIDER_virtual/egl ?= "userland"
|
|
PREFERRED_PROVIDER_virtual/libgles2 ?= "userland"
|