Erratum to: J Supercomput DOI 10.1007/s11227-012-0833-3

During the publication process of above mentioned paper the proofreader forgot to include two projects in the Acknowledgement section, namely: NSC100-2221-E-126-006- and NVIDIA.

This work was supported in part by National Natural Science Foundation of China under Grant No. 60973137, Gansu Sci. & Tech. Program under Grant No. 1104GKCA049, the Fundamental Research Funds for the Central Universities under Grant No. lzujbky-2010-89 and lzujbky-2012-44, 2011 Google Faculty Award Program, China and National Science Council (NSC), Taiwan, under grants NSC101-2221-E-126-002- and NSC100-2221-E-126-006-, and NVIDIA. The authors also appreciate Prof. Alfons Crespo and other members of the Real-Time Systems Group, Department of Computer Engineering and RiuNet of Universidad Politécnica de Valencia, Spain, where co-author Rui Zhou developed his master thesis (“Partitioned System with XtratuM on PowerPC”, http://hdl.handle.net/10251/12738).