Is anyone else interested in their boards? They were very willing to provide extra documentation when asked, including a schematic for one of their LCD drivers and an unpublished datasheet for the AXP228 PMIC used on some of their boards. They also offered free boards to the FreeBSD guys several months ago, but there were no replies.
It would be a different SoC, though (Allwinner H3, Samsung 4412, 4418, 6818). On a positive note, I haven't found any mention yet of closed binaries like the ODRIOD C1. (Doesn't mean there aren't any, and I'm still looking...)