Palacios and Kitten: New high performance operating systems for scalable virtualized and native supercomputing. - John R. Lange; Kevin T. Pedretti; Trammell Hudson; Peter A. Dinda; Zheng Cui; Lei Xia 001; Patrick G. Bridges; Andy Gocke; Steven Jaconette; Michael J. Levenhagen; Ron Brightwell (IPDPS, 2010)