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 p...@maths.usyd.edu.au http://www.maths.usyd.edu.au/u/psz/ School of Mathematics and Statistics University of Sydney Australia -- 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/201301132332.r0dnwlra027...@como.maths.usyd.edu.au
