On Thu, 4 Dec 2003, James wrote: > I thought Debian used the UltraLinux kernel (64 bit). Perhaps for ultras, but not for 32-bit machines =) There are separate kernels for ultras and 32-bit sparcs, but they use the same userland, with a few exceptions. --Kurt