So based off reading that thread there are two things I believe are occuring:
- Adrian Knoth (adiknoth) is likely using the driver and card from FourAudio (I believe he is the one that initially pointed me in their direction)
- Dell Green likely has a developer kit from Audinate (Brooklyn II Kit and Card, which I believe has a Linux SDK IIRC)
Audinate has flat out told me that they have no intention of releasing a Linux driver, that was years ago mind you so maybe things have changed, but I doubt it. My suspicion is that Dell Green is using the development kit but I do not know for certain. It would be worth contacting him I suppose just in case so I just added a comment there to see if he responds.