8 Commits

Author	SHA1	Message	Date
Felix Buehler	027d353491	treewide: rename name to pname&version	2022-01-22 18:13:29 +01:00
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