Yes, indeed I have. I've also discovered http://rtos.com/images/uploads/ThreadX_User_Guide_V5.pdf , as well as code related to vcos stuff, like the thread creation, etc ( particularly low level stuff here ), and this file , which might prove useful, ...