use git.seabios.org for checking out seabios.
[coreboot.git] / payloads / libpayload / libpci /
drwxr-xr-x   ..
-rw-r--r-- 1565 Makefile.inc
-rw-r--r-- 5857 libpci.c