Does TV use GL or DX?
Is that you, Duck? God, you've always got another new name. It's DirectX 9, and there is no chance in my opinion of the TV3D guys writing an OpenGL renderer, let alone porting the whole thing to Linux.
If they did, I'd probably port my module though, as a Linux version of my pet project would probably be more useful than a Mac version. Oddly.