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 [email protected] http://www.maths.usyd.edu.au/u/psz/ School of Mathematics and Statistics University of Sydney Australia -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
