Hi all is there any interest or work going on making FreeBSD available on the $9 CHIP from nextthing.co? Basically it's a Cortex A13, 1GHz ARM V7A with 512MB RAM, NAND flash and a slew of peripherals, the datasheet can be found on https://linux-sunxi.org/images/e/eb/A13_Datasheet.pdf Werner