Andrei Gherzan c0563670d3 rpi-default-versions: Default kernel on 4.1.% ...

Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>

2015-10-21 20:49:04 +02:00

..

rpi-base.inc

linux-raspberrypi: Update kernel to 3.18.16

2015-10-21 14:44:26 +02:00

rpi-default-providers.inc

rpi-default-providers: Let users overwrite the default providers

2015-08-10 23:16:08 +02:00

rpi-default-settings.inc

Move fsl-default*.inc from distro to machine

2012-09-18 19:14:04 +03:00

rpi-default-versions.inc

rpi-default-versions: Default kernel on 4.1.%

2015-10-21 20:49:04 +02:00

tune-arm1176jzf-s.inc

raspberrypi.conf: Use arm1176jzfshf as default tune

2015-03-01 00:59:51 +01:00