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 /docs/extra-build-config.md | |
| 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>
Diffstat (limited to 'docs/extra-build-config.md')
0 files changed, 0 insertions, 0 deletions