mips4k support?

[Adrian Chadd]

Hi guys/girls,

The Atheros AR2313 is an old SOC which is mips4k based.

There's been a few requests to support this (and I've recently
acquired a board with this in it) so I'd like to see how feasible it'd
be to get going.
So what's the state of mips4k support in the tree? I can port over the
chipset specific stuff (bus, peripherals, machdep init code, etc)
without too much trouble. I'm just still not up to scratch on the CPU
side of things.

(This is all conjecture and won't occur until after I solve the
mips24k platform issues btw. It's just a fishing expedition for more
information. :)

Thanks,


Adrian