On 2016-10-11 16:17 -0400, Stefan Monnier wrote:
> AFAICT, the latest amd64 kernel in Debian x86 testing is still 3.16
> (i.e. the one from Debian stable).
> Any idea why there's no newer one?
Since linux 4.0, the -amd64 kernel flavor is no longer built on i386:
,----
| linux (4.0-1~exp1) experimental; urgency=medium
| [...]
| [ Ben Hutchings ]
| * [i386,s390] Remove 64-bit kernel flavours, which are also available
| through multiarch
`----
To install the -amd64 kernel via multiarch, run these commands:
# dpkg --add-architecture amd64
# apt-get update
# apt-get install linux-image-amd64:amd64
Cheers,
Sven
