This RTOS had been discussed before. Does it support Arduino IDE? I just test SEM Example, and the board was hanged.