If you interesting in "Realtime Operating Systems. Concepts and Implementation of Microkernels for Embedded Systems." by Dr. J��rgen Sauermann, Melanie Thelen, let me know. I'll send.