linux-raspberrypi: add linux-raspberrypi-rt 4.14

select the rt kernel by adding in local.conf:

PREFERRED_PROVIDER_virtual/kernel = "linux-raspberrypi-rt"

Signed-off-by: Phong Tran <tranmanphong@gmail.com>
This commit is contained in:
Phong Tran 2018-12-31 21:05:12 +07:00 committed by Andrei Gherzan
parent 8a2d0807f9
commit ff04567064

View File

@ -0,0 +1,9 @@
LINUX_VERSION ?= "4.14.81"
SRCREV = "acf578d07d57480674d5361df9171fe9528765cb"
SRC_URI = " \
git://github.com/raspberrypi/linux.git;branch=rpi-4.14.y-rt \
file://0001-menuconfig-check-lxdiaglog.sh-Allow-specification-of.patch \
"
require linux-raspberrypi.inc