> Например, "C++ runtime" требует библиотеку с "C runtime" и без неё не работает. Отсюда сложности с запуском Си++ в ядре. Для ядра NT мы реализовали такой "C++ runtime", который не требует библиотеку с "C runtime".

Это нельзя комментировать --- смешались в кучу кони, люди...

>  К Rust-у основная претензия - «оно линкуется с libc.so, потому для ядра не годится».

Нет. Это вы сами выдумали, и сами опровергли.

Проблемы:

  - cargo (который вроде как и не язык, но хрен от него отстроишся);
  - единственная реализация языка, контролируемая группой попечителей с замечательной репутацией
    (всё остальное --- недореализации, легко превращаемые в тыкву группой попечителей).

Упоротый синтаксис уже так себе проблема. Есть ещё одна, но я не в курсе --- что там в rust'е по этому вопросу творится (cross, canadian).

> Представьте себе ситуацию, когда некий достаточно сложный драйвер (файловой системы) пишется и отлаживается с минимальным риском в юзерленде (через FUSE), а потом сменой ключей транслятору «портируется» в ядро. Сейчас, насколько понимаю, такой сценарий затруднён.

Оставьте эти фантазии себе.