On 2016-02-08 11:32 -0600, Mark Kamichoff wrote: > For awhile I've been able to install 64-bit versions of recent kernels > on Debian i386 installations, to reap the benefits of a 64-bit kernel > without having to do a reinstall. This gives me a 64-bit kernel and a > 32-bit userland. I've a flurry of i386 VMs that moved hypervisors and > now support 64-bit instructions, but I haven't wanted to reinstall them > all :) > > However, I haven't seen any amd64 kernels past 3.16.0-4 for i386. All > of the 4.x kernels are 32-bit:
64-bit kernels are no longer built on i386, you need to enable amd64 as a foreign architecture if you want them: # dpkg --add-architecture amd64 # apt-get update # apt-get install linux-image-amd64:amd64 Cheers, Sven