mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-13 16:15:30 +00:00
931706cdc1
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 |