1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-29 09:02:46 +00:00
Commit graph

5 commits

Author SHA1 Message Date
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