Commit Graph

7 Commits

Author SHA1 Message Date
Janne Heß
9a966e84b6
raspberrypifw: 1.20200601 -> 1.20200902
Also disable the fixup phase since it only throws errors and remove the
platforms since these are only static files.
2020-10-07 00:41:15 +02:00
Richard Marko
6c9df40a4b nixos/device-tree: improve overlays support
Now allows applying external overlays either in form of
.dts file, literal dts context added to store or precompiled .dtbo.

If overlays are defined, kernel device-trees are compiled with '-@'
so the .dtb files contain symbols which we can reference in our
overlays.

Since `fdtoverlay` doesn't respect `/ compatible` by itself
we query compatible strings of both `dtb` and `dtbo(verlay)`
and apply only if latter is substring of the former.

Also adds support for filtering .dtb files (as there are now nearly 1k
dtbs).

Co-authored-by: georgewhewell <georgerw@gmail.com>
Co-authored-by: Kai Wohlfahrt <kai.wohlfahrt@gmail.com>
2020-09-09 16:34:58 +02:00
Markus Kowalewski
68ec5811d1
device-tree_rpi: update meta data 2020-06-30 20:58:30 +02:00
Michael Bishop
70308c5c56
device-tree_rpi: fix platforms 2020-04-08 12:54:58 -03:00
Thomas Kerber
cc5baf2d86
Various: Add support for raspberry pi 4. 2019-09-17 04:05:16 +01:00
Kai Wohlfahrt
766e0958b3 device-tree_rpi: fixup dtb names
This is just as messy as it is for the kernel files. Maybe it should be
done in the uboot boot-loader?
2019-08-07 13:51:22 +01:00
Kai Wohlfahrt
28cf80acf8 nixos/hardware.deviceTree: Move things around
In response to comments, create a sub-folder for deviceTree packages
(starting with rpi), and a top-level package for helpers.
2019-08-07 13:51:22 +01:00