Felix Buehler
|
027d353491
|
treewide: rename name to pname&version
|
2 years ago |
Ben Siraphob
|
16d91ee628
|
pkgs/os-specific: stdenv.lib -> lib
|
3 years ago |
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.
|
4 years ago |
Markus Kowalewski
|
68ec5811d1
|
device-tree_rpi: update meta data
|
4 years ago |
Michael Bishop
|
70308c5c56
|
device-tree_rpi: fix platforms
|
4 years ago |
Thomas Kerber
|
cc5baf2d86
|
Various: Add support for raspberry pi 4.
|
5 years ago |
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?
|
5 years ago |
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.
|
5 years ago |