@benn, I've run some comparative benchmarks on the board here : http://wiki.ant-computing.com/Choosing_a_processor_for_a_build_farm
This board is quite promising but certain things need to be improved and I'll try to help as time permits. First, as many boards using the rockchip kernel, it's not running at 1.8 GHz but 1.6, as the cpufreq driver limits it regardless of the value reported, so all the benchmarks which are published are off by about 11% compared to what they should be. I'll try to patch the kernel when I have time to see what can be done. I do have some other RK3288 boards which I successfully unlocked and which work reliably up to 2.0 GHz. Second, by default the DDR3 goes very slow (200 MHz) 10 minutes after boot, which significantly affects the system's performance. By issuing "echo p > /dev/video_pstate" you can switch it to performance mode and change it to 528 MHz instead. By doing this the board becomes really fast. I don't know the specs of the DDR3 on the board but it could make sense to adjust the code and/or DT to optimize performance for this RAM.
The fact that this board uses the two memory channels of the SoC definitely helps it reach a nice performance level, that's a good design.
Also, I noticed that while I ordered the small version of the board, I received a large one (2GB/16GB), which I attribute to the fact that apparently only the large version was built for now, so thanks for this! What I'm wondering is whether the two memory channels will be populated on the 1GB board or if only one of them will be populated. For performance reasons, it's better to always have 4 chips so that the memory bus is 64 bits wide.
I'll run more tests but I already think that this board may be the most optimal solution for now to make a fast build farm. Nice work!