Interesting progress on the Linux kernel front for ARM platforms, which have traditionally needed a hotch potch of different kernels -- linux-37-kernel-to-support-multiple-arm-platforms .
From the article linked by Slashdot, "The initial 3.7 image will support highbank, vexpress, mvebu, socfpga, and picoxcell", so it doesn't sound like it's directly relevant to Raspberry Pi just yet. Hopefully it gets us one step closer to uniform ARM support though.




