CHG>А где их можно скачать(отдельно от остальных компонентов SDK)?Кстати,а какая CRT поставляется с WDK?Неужели драйверы используют msvcrXX.dll???
Правило хорошего тона для небольших программ — линковаться с CRT статически и вообще не требовать никаких msvcrXX.dll. Если размер который добавляет статическая CRT всё равно кажется большим — поищи по ключевым словам tinycrt + на сайте в статьях по-моему что-то было на тему как уменьшить размер модулей.