Re: [SeaBIOS] [PATCH] vgasrc: Increase debug level

[Kevin O'Connor]

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