Do they use it via mainline Linux kernel's ISNDN drivers though (and not something proprietary)?