Hello, Is there a way to get complete list of supported PCI & USB device ids and classes in the FreeBSD kernel? I.e. ids of the devices listed on the page https://www.freebsd.org/releases/12.1R/hardware.html In Linux it's done by LKDDb: https://cateee.net/sources/lkddb/lkddb-5.6.list Thanks.