It has, I might have to get ahold of one of these to see how it runs. I would look for 64bit os support on these boards, i know the procs are capable of it, but the OPi community isn't as big as the RPi one, so support is a little more limited. 64 bit OS compatibility is important to get the max hashrate out of these boards.
Would be interesting if we could see what different SBC's the community has access to, so we could get some benchmarks written up. So we can see what gets best kh/s to the $£
I have one of this: https://www.geekbuying.com/item/GeekBox-Open-Source-Cross-TV-BOX-Android-Ubuntu-Dual-Boot-4K-RK3368-Octa-Core-2G-16G-AC-WIFI-1000M-LAN-BT4-1-HDMI2-0-OTG-358067.html
Off course is expensive but the idea was replace a real "pi nas server" with more power and better specs, GB LAN the most.
At the moment with some infinity booting loop problems but in a few weeks i will be playing and flashing again with it to test compatibility to debian streetch 64 posted here, was running monero for some time before.
So i share with community the results later.