sources([
    "vga_pmio_ops.c",
    "vga_gfxm_ops.c",
    "vga.c",
    "vga_mmio_ops.c",
    "vga_pci.c",
    "vga_rawtty.c",
])