Мы используем то, что имеет сертификаты безопасности, запилите какую-нибудь FreeBSD Pro RUS Edition c сертификатом безопасности ФСБ с удовольствием будем использовать-)
Про исправление драйверов, если код драйвера нормально документирован это одна история, если нет, то как показывает опыт, язык программирования второстепенен. Был случай, когда производитель нестандратной железки скинул исходники драйвера своего девайса,  код был на С++/asm, комментарии и описание отсутствовали, как класс. Получаем ситуацию - есть девайс на шине PCI на нем RISC процессор с DSP, внешняя оболочка на С++, внутри на asm, разбирались долго, как эта хрень работает, баг поправили, но полгода на это убили.