| commit | 970af16e6e5a6cb8de6b6658663b8adc00d25b8b | [log] [tgz] |
|---|---|---|
| author | Paul Menzel <pmenzel@molgen.mpg.de> | Fri Jan 20 16:52:44 2017 +0100 |
| committer | Kevin O'Connor <kevin@koconnor.net> | Sun Jan 29 14:25:34 2017 -0500 |
| tree | dc870206cb11f43ed8c7de5ced8cbe21f168ab6d | |
| parent | 106543deb447c4005f9a9845f1f43a72547f6209 [diff] |
vgasrc: Increase debug level 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 <pmenzel@molgen.mpg.de>