в keil, IAR поддержка чипов появляется раньше массового выхода!
LPC4000 только недавно анонсировали, даже отладочных плат еще нет.
В продаже начали появляться LPC4300 и демо платы есть.
Лучше всего проверять доступность с помощью findchips если у крупных поставщиков (например mouser digikey) контроллеры есть именно на складе - значит они уже доступны.
Цитата(Aleksandr Baranov @ Sep 25 2012, 23:23)

Посмотрел в Маузере - 126 штук в BGA на складе у них.
нет у них на складе! срок поставки 16 недель
это будущую первую партию распродают
Это я не прав!
платы уже появились от EA
даже в МТ систем 2 штуки на складе есть
http://mt-system.ru/stock-search?search=LPC4088так что контроллеры в маузере наверное есть. но это явно первая партия и у NXP бывает потом пауза до массового производства.