Could it be the same problem as in issue ahci_drv: devices not reported · Issue #5088 · genodelabs/genode · GitHub?
In that case, the following commit might help:
Could it be the same problem as in issue ahci_drv: devices not reported · Issue #5088 · genodelabs/genode · GitHub?
In that case, the following commit might help: