Ummm... I'm not entirely sure that 32-bit kernels work on IP32 at the moment. They did at one point, but there seems to be little interest in maintaining 32-bit support, especially since 64-bit kernels run exactly the same. :-)
Try building a 64-bit kernel. You may need to `emerge gcc-mips64` first, so that you have the necessary toolchain. From there, just enable '64-bit Kernel' in the kernel configuration.
o64 kernels, like the ones built for O2, look like 32bit kernels to arcboot, which is normal.
--Kumba
--
"Such is oft the course of deeds that move the wheels of the world: small hands do them because they must, while the eyes of the great are elsewhere." --Elrond
--
[email protected] mailing list
