chiark / gitweb /
terminal: grdev: refresh device state on hotplug events