Bug#695182: [RFC] Reproducible OOM with partial workaround

[paul.szabo@sydney.edu.au]

Dear Dave,

You wrote:

> ... 64-bit kernels should basically be drop-in replacements for 32-bit
> ones.  You can keep userspace 100% 32-bit, and just have a 64-bit
> kernel.

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.

Thanks, Paul

Paul Szabo   psz@maths.usyd.edu.au   http://www.maths.usyd.edu.au/u/psz/
School of Mathematics and Statistics   University of Sydney    Australia