Alasdair, Their are two forms of a solution for Linux support. Either they opensource it, which as you just said may not be possible due to an NDA, (however, you can download the DDK from IM for free without one) or continue to update the drivers that do exist, from 2012.
-Sam