mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-03 09:40:44 +00:00
a3e11a60c0
Instead of using a somewhat incomplete module_param_named() macro, which will influence other drivers, patch the driver that requires this treatment. Fixes #2169 Fixes #2155