problem with permanent modification on Sculpt

Christian Helmuth christian.helmuth at
Tue Feb 23 06:39:12 CET 2021

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.


Christian Helmuth
Genode Labs · · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list