A15 support

It would be a “cool” next project after the Pi release to do a port for the A15.
Now there is a chrome book with an A15 chipset.
If there is anyone willing to do this, I’m prepared to foot the bill for one.

I know there is lots of other stuff that probably should have more attention, filesystem, usb stack, wifi, pre-emptive/multicore support etc. etc.

But given there will be no linux support until 3.7 comes out into mainstream distros, it may be a first for riscos?

Usual notes apply (I could be wrong, I most likely am etc. etc. this is just a suggestion)