mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-11-10 17:54:53 +01:00
Previously, the value from stdenv.platform.kernelDTB was used. That doesn't work well if both kinds (DTB and non-DTB) of generations exist in the system profile. |
||
|---|---|---|
| .. | ||
| default.nix | ||
| extlinux-conf-builder.nix | ||
| extlinux-conf-builder.sh | ||