Не могу скачать SDK

Приехал вот недавно SimpleLink Wi-Fi CC3100 BoosterPack от Texas Instruments.

Штука во всех смыслах интересная. Чип СС3100 это их новое WiFi-решение Texas Instruments для «интернета вещей».
Из возможностей CC3100:
температурный диапазон (-40…+85°С),
поддержка огромного количества протоколов шифрования (WPA2; SSL 3.0 / TLS 1.2), более высокие скорости передачи данных (UDP 16 Mbps, TCP 12 Mbps), встроенный IPv4 TCP/IP-стек и прочие полезные плюшки.
Хочу освоить, а вышеупомянутая TI не даёт скачать для этого модуля Software Development Kit. Не ругается вроде ни на что, но ссылка по e-mail не приходит.
Ранее скачивал у них многие документы и в их оналйн-магазине покупал. Всё было нормально. А тут…
Живу в России, поэтому очередную истерию с санкциями тоже исключать нельзя.
Может кто-нибудь помочь?