Hello,
from looking at the log, one can see that the AHCI driver is not even started, which makes sense when comparing the reported PCI class IDs against the code of the driver manager that selects the driver [1].
[1] https://github.com/genodelabs/genode/blob/master/repos/gems/src/app/driver_m...
It may be worth checking the BIOS settings for SATA-related options. I can vaguely remember having seen BIOS options for selecting legacy support versus AHCI.
Cheers Norman
On 23.02.21 06:39, Christian Helmuth wrote:
Hello Edoardo,
your SATA PCI devices seem to use a programming interface that's not AHCI compatible.
<device bdf="0:1f.2" vendor_id="0x8086" device_id="0x3b2e" class_code="0x1018a" bridge="no" cap="0x1" cap="0x13"/> <device bdf="0:1f.5" vendor_id="0x8086" device_id="0x3b2d" class_code="0x10185" bridge="no" cap="0x1" cap="0x13"/>
For AHCI compatibility the class code has to be 0x0106xx. Your devices use 0101xx which is "IDE interface" [1] [2] [3] and Genode does not support this.
[1] https://pci-ids.ucw.cz/read/PD/01/01 [2] https://pci-ids.ucw.cz/read/PD/01/01/8a [3] https://pci-ids.ucw.cz/read/PD/01/01/85
Regards