Mark3OS, Does it support Arduino IDE?

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