[SeaBIOS] [PATCH 2/4] vgabios: Only set the dcc_index=8 if stdvga ports are available

[Kevin O'Connor]

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 c323cf8..e14664b 100644
--- a/vgasrc/vgainit.c
+++ b/vgasrc/vgainit.c
@@ -143,8 +143,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));