Именно так сейчас и делаю — VmWareFusion + Win7 + Keil.
Но ввиду того что оперативки на ноуте всего 4 гига и 120 гиг хард — винду держать очень накладно получается )
Есть, конечно, libcm3 но она не все и не во всем поддерживает а хочется работать именно с официальными либами…