From c5acee4d8da81b915f587586280d84d347b1e7df Mon Sep 17 00:00:00 2001 From: Kevin O'Connor Date: Thu, 23 Oct 2014 15:54:59 -0400 Subject: vgabios: Only set the dcc_index=8 if stdvga ports are available Signed-off-by: Kevin O'Connor --- vgasrc/vgainit.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/vgasrc/vgainit.c b/vgasrc/vgainit.c index 758fea4..a16e81c 100644 --- a/vgasrc/vgainit.c +++ b/vgasrc/vgainit.c @@ -111,8 +111,7 @@ init_bios_area(void) // Set the basic modeset options SET_BDA(modeset_ctl, 0x51); - // FIXME We nearly have the good tables. to be reworked - SET_BDA(dcc_index, 0x08); // 8 is VGA should be ok for now + SET_BDA(dcc_index, CONFIG_VGA_STDVGA_PORTS ? 0x08 : 0xff); SET_BDA(video_savetable , SEGOFF(get_global_seg(), (u32)&video_save_pointer_table)); -- cgit v1.1