That's nice, personally it takes me about 400 ms to start a linux kernel with qemu (more time is spent by qemu initializing its network interfaces that starting the kernel and the init!)<p>I'll see which tricks can be reused on linux, as I'd love to cut that by 1 order of magnitude!