mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-22 13:02:56 +01:00
As linux drivers may distinguish device configuration by pci subdevice id in addition to the pci device id, the former must also be used for finding the matching entry. Otherwise, e.g., the iwlwifi driver might load the wrong firmware. Side note: Add break statement to save superfluous iterations after match was identified. Fixes genodelabs#4076