Mint: Booting Multiple Linux Kernels on a Multicore Processor | IEEE Conference Publication | IEEE Xplore