Hi, The FIRMWARE_MAX constant limits the number of device firmware images that can be loaded into the kernel. I posted a diff to remove this arbitrary limit: https://reviews.freebsd.org/D25161 I'm not sure who might be interested in this code, so please feel free to add yourself to the review. Thanks in advance.