T-kernel是嵌入式常用的一个RTOS,这是它的详细spec