[ixp1200] microC development

We've recently found out from our Intel guys that the SDK does not supposed running microC-developed images on the IXP1200 hardware. Is there no way to use microC (or anything but microcode, really) to develop for the microengines? Najati