They support writing RTOS tasks in C as I understand it.