chiark / gitweb /
maintain index over device-names to devpath relation