diff options
| author | Phong Tran <tranmanphong@gmail.com> | 2018-12-31 21:05:12 +0700 |
|---|---|---|
| committer | Andrei Gherzan <andrei@gherzan.ro> | 2018-12-31 15:15:47 +0000 |
| commit | a48743dc36e31170cf737e200cc88f273e13611a (patch) | |
| tree | c34136072c92320ec5e86e887ee1e8851a867e19 /docs/conf.py | |
| parent | fa217ed21cedc58e13dda23a0237134333787a01 (diff) | |
| download | meta-raspberrypi-a48743dc36e31170cf737e200cc88f273e13611a.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/conf.py')
0 files changed, 0 insertions, 0 deletions