| commit | 29ba89e67ff39b7673912022bf54c8640ae113cd | [log] [tgz] |
|---|---|---|
| author | Kevin O'Connor <kevin@koconnor.net> | Mon Dec 17 10:23:49 2018 -0500 |
| committer | Kevin O'Connor <kevin@koconnor.net> | Mon Dec 17 10:23:49 2018 -0500 |
| tree | 253e5655b9a8a68bd61d33c023b5eb535ad7e976 | |
| parent | 75b42835134553c96f113e5014072c0caf99d092 [diff] |
output: Avoid thunking to 16bit mode in printf() if no vgabios It is not necessary to call the vgabios if no vgabios has been installed. This reduces the amount of hardware accesses on qemu when the bios is not initializing the display hardware, and it can reduce the boot time by a couple of milliseconds. Signed-off-by: Kevin O'Connor <kevin@koconnor.net>