Hello All,

> 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..

> What board do you have? Something with a
> standalone 24Kc, or is it part of a
> System-On-a-Chip type CPU? Just about all of
> the work will be in device intergration etc.

Thanks
Varada