Need some help getting a new driver working for fprintd

Could somebody familiar with fprintd please take a look at this draft in nixpkgs.

I tried adding a new driver for the hardware I use at work (Broadcom Fingeprint Reader in a Dell Latitude 7440) and managed to get the driver working by supplying the needed statically linked libraries, but hit a road block when fprintd tries to load the driver’s firmware.

Details can be found in the draft’s description.

Any help would be greatly appreciated!