Source code for Digi CM / Passport console servers?

Is the source code available for the Digi CM and Passport models?

Given that they are Linux-based systems, I would think this would have to be released under the terms of the GPL.

I’m asking because I’m personally motivated to fix a bug (which I’ve reported already), but it could also be pretty nice for Digi to get community-contributed features or fixes.