Ask HN: USB Over IP – Odroid vs. Raspberry Pi?

Hi HNers, We're trying to build a USB over IP setup for a laser controller (http://www.pangolin.com/flashback/flashback3.htm)

We would like to use Odroid for it's better hardware, but documentation for USB over IP on it is pretty slim - does anyone have experience setting USB over IP up on one?

And Software-wise: USBIP vs Virtualhere?