Say I need a Debian with Kernel
How do I find the corresponding Debian Version? I assume it would be Debian 7 because this document states that Debian 7 has Kernel version 3.2. Yet, there are several iso images I can download, e.g.
debian-7.9.0-i386-netinst.iso, etc. How do I know which of these isos will result in a system with the exact kernel version 3.2 .63-2+deb7u1 I need?
Or, maybe, is this a matter of installing the .deb corresponding to the specific version, i.e. up- or downgrading the kernel as needed?