Hi Paul,
paul.sz...@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
--
To UNSUBSCRIBE, email to debian-kernel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20130113234223.GA3125@elie.Belkin
