On Thu, Jan 26, 2017 at 06:47:10PM +0100, Paul Menzel wrote: > Date: Fri, 20 Jan 2017 16:52:44 +0100 > > You only want this information for debugging. As it also slows down the boot > considerably, as, for example, for every character of the GRUB > menu, something is sent over the serial console. > > Therefore, increase the debugging level to 9.
Thanks. Your patch got whitespace mangled, but I manually applied it. You might want to consider using 'git send-email' or attaching patches in the future. -Kevin _______________________________________________ SeaBIOS mailing list SeaBIOS@seabios.org https://www.coreboot.org/mailman/listinfo/seabios