forked from mirrors/nixpkgs
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 |