Jeff Huang 2d9162bf4b [skip-ci] seabios: update to 1.12.0		2018-12-13 14:13:20 +01:00
..
config.coreboot
config.csm
config.seabios-128k
config.seabios-256k
config.vga.bochs-display
config.vga.cirrus
config.vga.isavga
config.vga.qxl
config.vga.ramfb
config.vga.stdvga
config.vga.virtio
config.vga.vmware
PKGBUILD