~emersion/drmdb

ref: e081ab2f41e4b3b4c5d53b9fe319bc4827a2564e drmdb/public/devices.html -rw-r--r-- 977 bytes
Add driver filter to device list
Add links in device list
Show platform devices in /devices
Use hwids to print PCI name
Add a /devices page