On Tue, Jul 21, 2015 at 06:06:09PM +0200, Marc Marí wrote: > These patches, with the support in QEMU (patches in the QEMU mailing > list) make the Linux kernel setup and boot approximately 10x faster. Thanks. How do the timings with this support compare with the qboot and seabios+cbfs runs? -Kevin