vga_io.c is not needed unless CONFIG_VGA is set
[coreboot.git] / src / pc80 / vga /
drwxr-xr-x   ..
-rw-r--r-- 149 Makefile.inc
-rw-r--r-- 6559 vga.c
-rw-r--r-- 290 vga.h
-rw-r--r-- 101628 vga_font_8x16.c
-rw-r--r-- 4945 vga_io.c
-rw-r--r-- 8102 vga_palette.c