>> Я тут выше беседовал с уважаемым microcoder - так он об этом или ничего не слышал, или делает вид, что не слышал.
> Представим, что kernel.org забанила все патчи из РФ в том числе и
> от ИСП РАН. Сможет ли последняя развивать Линукс? Менять архитектуру его?

Если это вопрос - то более уместно сменить интонацию с вопросительной на утвердительную.
Может и меняет.
Но не линукс c kernel.org, а своей собственной ветки.

Одно время люди из ИСП РАН обеспечивали значительную часть тестирования свеженаписанных модулей ядра, но притомились танцевать в прихожей на kernel.org.
И решили, что своя карточная игра их устраивает больше.
В чём лично я их - крайне одобряю.
Почитайте про то как и кем делался МРОСЛ-ДП, если Вам интересна реализация их формальной верифицированной модели безопасности в ядре.
Ну, это если Вам интересно, Вас к этому никто и не думает понуждать.

> Да, развивать можно, только FreeBSD тоже как бы развивают, но мы видим
> разницу в масштабах применения

Мы же с Вами в другой ветке обсуждали, что важны не только технические, но и организационные навыки.
Продвижением линукса интенсивно занимается картель высокотехнологичных компаний, продвижением freebsd - считай, что никто не занимается.
А вот netbsd, продвижением которой в коммерции и научных центрах Японии сами японцы озабочены весьма серьёзно - занимает заметный процент критически ответственных систем Японии.