In attempt to get speaker video feed I also borrowed Blackmagic Shuttle USB 3.0 from a friend, and turns out that the drivers are available in linux, software is available for linux, but those two things don't talk to each other for the USB 3.0 model (things should work fine for thunderbolt).
Still this is a pitfall of proprietary software under linux -- there's no guarantee it would be supported.