Thanks all.

The random panics were due to a bug in cpu_intr(). After
fixing it, didnt see the panics.

-Varada

> > There's no support per se for the 24Kc, but
> > the core itself should Just Work. You'll just
> > need to add an entry to
> > sys/arch/mips/mips/mips_machdep.c . There's
> > currently no support for MIPS32R2 features,
> > but that shouldn't cause any problems.
>
> I tried this for my SoC based on MIPS 24Kc, and
> things go fine. However, there are some random
> unexplained "panic - tlb out of universe ..."
> panics.
>
> The PC, VA etc printed seem valid. What could be
> missing? Kindly advice. Please let me know if
> you need additional information..