…
..
PKGBUILD	…
PKGBUILD-arch	…
clean	…
config.coreboot	…
config.csm	…
config.seabios-128k	…
config.seabios-256k	…
config.seabios-microvm	…
config.vga-ati	…
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	…
deps	…
sums	…
time	…