Replace CONFIG_EXTRA_PCI_ROOTS with dynamic "etc/extra-pci-roots" file.
3 files changed
tree: 8904d8d37392226b3f36b4cc32ce4a957c0d01f6
  1. .gitignore
  2. COPYING
  3. COPYING.LESSER
  4. Makefile
  5. README
  6. TODO
  7. src/
  8. tools/
  9. vgasrc/