Supporting chipKit max32 with Matlab and Simulink

I'm interesting in use chipKIT MAX32. These are Arduino-based boards 
with 32-bit Microchip processor. Can Simulink support package for 
arduino work with those? Is there a way that i could create a 
application with Simulink for these boards?

Thanks in advance for the help.