Hi all, I have been testing all kernel >2.6.18-5-r5k-ip32 on an SGI O2. None among them may boot the machine correctly since they do not even pass the arcboot stage. I started documenting this problem on linux-mips mailing list. Is there any one that specifically work on ip32 Debian kernels? Bye, Giuseppe