-SRCVGA=src/output.c src/util.c vgasrc/vga.c vgasrc/vgafb.c vgasrc/vgaio.c \
- vgasrc/vgatables.c vgasrc/vgafonts.c \
- vgasrc/clext.c vgasrc/vbe.c vgasrc/geodelx.c
+SRCVGA=src/output.c src/util.c vgasrc/vgabios.c vgasrc/vgafb.c \
+ vgasrc/vgatables.c vgasrc/vgafonts.c vgasrc/vbe.c \
+ vgasrc/stdvga.c vgasrc/clext.c vgasrc/bochsvga.c vgasrc/geodevga.c