Pin kernel version

And to be clear, the reason that this is a different kernel than the one from your older generation which has the same version number (assuming you meant it has the same patch version) is because the dependencies of the kernel derivation have changed, so this particular build isn’t cached.

1 Like