Index: uspace/srv/hw/bus/pci/update-ids
===================================================================
--- uspace/srv/hw/bus/pci/update-ids	(revision 827d73f23124302d0257a467a1990e68bd7a15e7)
+++ uspace/srv/hw/bus/pci/update-ids	(revision 827d73f23124302d0257a467a1990e68bd7a15e7)
@@ -0,0 +1,16 @@
+#! /bin/bash
+
+wget -O pci.ids 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' | sed 's/?/\\?/g' >> pci_ids.h
+
+cat >> pci_ids.h <<EOF
+""
+};
+EOF