3 commits

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