Hi there, on the German list there is a query on kernel versions: - what brands of kernels are availble from the skolelinux repository (smp, amd64)? - is it planned to support 64bit AMD? Is it advisable to take packages from official debian repositories? - are there known issues with non-standard kernel brands? - is it worth to recompile with 64bit machines if gcc can do so anyway? Any conf files for this available? Thanks Ralf