Just a little heads up, because I got some private messages concerning the platform.
At the moment I don't have any time to do some testing with my Pogo V3 devices. In about 2 weeks, I could perhaps be able to retest kref's latest U-Boot and kernel.
And MAYBE, I could assist WarheadsSE and kref to get the Arch support going again. We'll see. It looks very promising however.
I am mainly a Debian guy, but the U-Boot environment, kernel config etc. should be universal anyway. Will also see if I can create a ARMv6k-softfloat compiler for the newest kernel. Could potentially improve performance of the kernel itself a little.
Edit:Just finished building a new cross-compiler for ARMv6k and krefs linux kernel 3.12.6.
For those who are interested, it is available here:
https://github.com/ingmar-k/armv6k-soft ... ux-gnueabiI did not have time to test it yet. So if you do, please tell me how it went.

Edit 2:Couldn't wait and gave it a little try. Seems to work just fine. But as always, some Makefiles need a little Editing to really make use of the armv6k compiler. Otherwise some other standard optimizations are used.