Ben Siraphob
|
16d91ee628
|
pkgs/os-specific: stdenv.lib -> lib
|
2021-01-17 23:26:08 +07:00 |
|
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 |
|
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 |
|