Phong Tran a48743dc36 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>
2018-12-31 15:15:47 +00:00
..