====== 64bitkernels ====== I always wondered if using a 64bit kernel on a 32bit distribution was a good idea. http://permalink.gmane.org/gmane.linux.debian.devel.general/108273 gives one reason why this isn't a particulary good idea. ~~DISCUSSION~~ {{tag>tech english}}