AHCI Driver Partition Setup in QEMU/Hardware

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:

1 Like