the SCILAB / X2C solution works with any hardware, as you are responsible on your own for the framework project that includes the peripheral drivers.
Right now there are demos available for the following demoboards:
X2C Developement Board by Chipcad
PIC32MZ2048EFH064 by Olimex
double precision floating point and DSP