NXP предлагает для этого камня среду S32DS: S32 Design Studio IDE -> Вообще-то S32 - это другое навороченное семейство для automotive, закрытое. Но если поддерживается - хорошо! http://www.nxp.com/products/microcontrollers-and-processors/arm-processors/s32-arm-processors-microcontrollers/s32-design-studio-ide:S32DS