Hello Stephen,

could you please tell me the version of gcc and the firmware you use on profilux 4.