SeaBIOS: Fix a bug in PCI ID mapping
-rw-r--r-- 30 .gitignore
-rw-r--r-- 35147 COPYING
-rw-r--r-- 7639 COPYING.LESSER
-rw-r--r-- 7884 Makefile
-rw-r--r-- 8264 README
-rw-r--r-- 950 TODO
-rw-r--r-- 1682 default.config
drwxr-xr-x - src
drwxr-xr-x - tools
drwxr-xr-x - vgasrc