Index: uspace/srv/pci/update-ids
===================================================================
--- uspace/srv/pci/update-ids	(revision 00acd66d3981789b3f8b04cdd854d29343dd9aa0)
+++ uspace/srv/pci/update-ids	(revision 00acd66d3981789b3f8b04cdd854d29343dd9aa0)
@@ -0,0 +1,16 @@
+#! /bin/bash
+
+wget http://pciids.sourceforge.net/v2.2/pci.ids
+
+cat >pci_ids.h <<EOF
+/* DO NOT EDIT, THIS FILE IS AUTOMATICALLY GENERATED */
+char *pci_ids[] = {
+EOF
+
+cat pci.ids | grep -v '^#.*' | grep -v '^$' | tr \" \' | sed -n 's/\(.*\)/"\1",/p' >>pci_ids.h
+
+cat >>pci_ids.h <<EOF
+""
+};
+EOF
+