Mint: Booting Multiple Linux Kernels on a Multicore Processor. - Yoshinari Nomura; Ryota Senzaki; Daiki Nakahara; Hiroshi Ushio; Tetsuya Kataoka; Hideo Taniguchi (BWCCA, 2011)