I'm glad Ral asked, since that's what I'm here for. I thought 263-7 was the default kernal anyway. What does selecting 263-7 in lilo do differently?
Also, how can I add other kernels? I'm having trouble with my 10.0 installation, and I'm wondering if I could try booting into an older kernel. I know how to install using a bootdisk for another kernel, but how do I add one after it's installed?