diff options
author | Simon Ser <contact@emersion.fr> | 2022-05-06 11:58:17 +0200 |
---|---|---|
committer | Simon Zeni <simon@bl4ckb0ne.ca> | 2022-05-11 14:06:11 +0000 |
commit | e646d882cf4949d290fff2ba3b7ae4c124f6f13d (patch) | |
tree | c762ea0e4186c9ea655275535d7fcb26d17bc02b /include/xwayland/selection.h | |
parent | fa9b61004b79460357556b67e95ad2740bf12751 (diff) |
backend/drm: fetch EDID manufacturer from udev_hwdb
Maintaining our internal table up-to-date is tedious: one needs to
manually go through the PnP ID registry [1] and check whether we're
missing any entry.
udev_hwdb already has an API to fetch a manufacturer name from its
PnP ID. Use that instead.
[1]: https://uefi.org/pnp_id_list
Diffstat (limited to 'include/xwayland/selection.h')
0 files changed, 0 insertions, 0 deletions