diff options
author | Phong Tran <tranmanphong@gmail.com> | 2018-12-31 21:05:12 +0700 |
---|---|---|
committer | Andrei Gherzan <andrei@gherzan.ro> | 2019-01-01 15:43:32 +0000 |
commit | ff04567064812306eb593d8764d285eeba27a3d9 (patch) | |
tree | 5ab2769f8fa1bf039e12082409f57b2f8b9a59fe | |
parent | 8a2d0807f9806f46d26cc7b5a1cba75e77ad1895 (diff) | |
download | meta-raspberrypi-ff04567064812306eb593d8764d285eeba27a3d9.tar.gz |
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>
-rw-r--r-- | recipes-kernel/linux/linux-raspberrypi-rt_4.14.bb | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/recipes-kernel/linux/linux-raspberrypi-rt_4.14.bb b/recipes-kernel/linux/linux-raspberrypi-rt_4.14.bb new file mode 100644 index 0000000..1a990fe --- /dev/null +++ b/recipes-kernel/linux/linux-raspberrypi-rt_4.14.bb | |||
@@ -0,0 +1,9 @@ | |||
1 | LINUX_VERSION ?= "4.14.81" | ||
2 | |||
3 | SRCREV = "acf578d07d57480674d5361df9171fe9528765cb" | ||
4 | SRC_URI = " \ | ||
5 | git://github.com/raspberrypi/linux.git;branch=rpi-4.14.y-rt \ | ||
6 | file://0001-menuconfig-check-lxdiaglog.sh-Allow-specification-of.patch \ | ||
7 | " | ||
8 | |||
9 | require linux-raspberrypi.inc | ||