mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-22 18:22:41 +00:00
The workaround is no longer needed as we now propagate the proper device ID as BDF to the kernel in the platform driver. Issue #1848
2 lines
41 B
Plaintext
2 lines
41 B
Plaintext
2b0757d0d4a6d91906a9e52fd785b08d13f24aad
|