mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
This commit remedies the somewhat lazy attempt to address unique names for drivers where the name is directly derived from KBUILD_MODNAME, e.g. rtlwifi, and also modifies the name accordingly to the rules of Linux' build-system. The last part becomes necessary as driver matching tables may rely on that as has already happend with the ti-sn65dsi86 driver.