I just noticed that a new pcDuino with an A20 SoC will be released soon. I have a pcDuino v1 and an A20-Olinuxino-Micro, so this board may be of interest to me. I'd be curious to know if anyone is working on a board with an A31 or A80 SoC. I know Allwinner has an A80 board that they provide to tablet developers, but I don't think just anyone can buy one.