[LinuxBIOS] [PATCH] VGA is used before it is initialized

[Roman Kononov]

On 01/31/2007 01:52 PM, Stefan Reinauer wrote:
> Is it enough to not set vga_inited if
> CONFIG_CONSOLE_VGA=0 ?

Yes, it is. If CONFIG_CONSOLE_VGA=0, vga_inited is undefined,
else vga_inited is defined and should be set.