Bug#695182: Installing a 64-bit kernel on Debian i386 (Re: [RFC] Reproducible OOM with partial workaround)

[Jonathan Nieder <jrnieder@gmail.com>]

Hi Paul,

paul.szabo@sydney.edu.au wrote:

> Any advice on how I would install a 64-bit kernel, particularly in the
> "Debian world"? Seems to me that on a 32-bit machine, apt-get does not
> "see" the amd64 kernels.

There are two ways.

 A) The old-fashioned way:

	apt-get install linux-image-3.2.0-4-amd64

 B) The modern way:

	dpkg --add-architecture amd64
	apt-get update
	apt-get install linux-image-3.2.0-4-amd64:amd64

Hope that helps,
Jonathan