While the BL808 (what the Ox64 uses) can nominally run Linux, it doesn't really work for that in practice because of design issues in the chip (or to put it differently: it was never designed for that purpose - the C906 core was included to be used as a DSP. The MMU etc. is just incidential.). Almost all peripheral interrupts (such as the the SD controller, Ethernet MAC, etc.) are routed to the E907 core (which is more comparable to a Cortex-M "microcontroller" core in the ARM world). Thus, doing anything useful with it with Linux requires ugly IRQ forwarding hacks. The community is working on that, but it's always going to be a Rube Goldberg thing that I'm not sure upstream will ever accept. I really hope the chip manufacturer realizes what they are sitting on and adds the ability to mux the IRQ lines in a later design.

The documentation on the CV1800B is still pretty light, but what I've seen suggests it does not suffer from the same issue, so that alone makes this board much more interesting than the Ox64.