614b63922b
As far as I can tell, there are no makefile targets to install these, or anything like that, so we have to do it by hand. This adds man pages for dumpimage, kwboot, mkeficapsule, and mkimage. There are no man pages in other sections than 1. |
||
|---|---|---|
| .. | ||
| 0001-configs-rpi-allow-for-bigger-kernels.patch | ||
| 0001-rpi-Copy-properties-from-firmware-dtb-to-the-loaded-.patch | ||
| default.nix | ||