First with Macchiatobin and later with Honeycomb. I did not used any of them.

They’re pretty good, capable of running PCIe via generic ACPI descriptions (with various weirdness of course but still).

Huawei also made a desktop board.. but it’s not sold to regular people it seems.