vga_io.c is not needed unless CONFIG_VGA is set
[coreboot.git] / util / acpi /
drwxr-xr-x   ..
-rwxr-xr-x 1683 acpidump-all