mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-19 03:06:39 +00:00
dde_linux: iterate over device names not types
To clearly identify the correct device use the unique device's name not the type. Otherwise a driver cannot drive several devices of the same type. Fix #4297
This commit is contained in:
parent
98400a68c9
commit
c976a1d7e0
@ -173,7 +173,7 @@ void Device::enable()
|
||||
if (_pdev.constructed())
|
||||
return;
|
||||
|
||||
_pdev.construct(_platform, _type);
|
||||
_pdev.construct(_platform, _name);
|
||||
|
||||
_platform.update();
|
||||
_platform.with_xml([&] (Xml_node & xml) {
|
||||
|
Loading…
Reference in New Issue
Block a user