Интересно, PIC32 живьем кто-нибудь пробовал? Порт uCOS уже есть ->, так что вроде как можно начинать юзать :) Интересно, когда сами чипы можно будет купить - а то eval борды на камни распаивать как-то дороговато получится :) http://www.micrium.com/microchip/index.html