[PATCH] vgasrc: Increase debug level

[Paul Menzel]

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.

Signed-off-by: Paul Menzel 
---
  vgasrc/vgabios.h | 2 +-
  1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vgasrc/vgabios.h b/vgasrc/vgabios.h
index 3d5bbfe..e2edec0 100644
--- a/vgasrc/vgabios.h
+++ b/vgasrc/vgabios.h
@@ -73,7 +73,7 @@ static inline int vga_emulate_text(void) {

// Debug settings
  #define DEBUG_VGA_POST 1
-#define DEBUG_VGA_10 3
+#define DEBUG_VGA_10 9

// vgabios.c
  int vga_bpp(struct vgamode_s *vmode_g);

[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