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 -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
