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.


-- 
linuxbios mailing list
[email protected]
http://www.openbios.org/mailman/listinfo/linuxbios

Reply via email to