Hello Edoardo,

> I am using an elitebook 2540p.

have you already inspected the /report/log (e.g., via the inspect
shell)? Look out for any output of the ahci driver. Did it report
anything? Do you see an error? If its not too much trouble, you may
"exfiltrate" the file from the Sculpt system by copying it to a USB
stick and post it here.

Also the content of /report/drivers/block_devices and
/report/drivers/pci_devices may be insightful. The former is presumably
empty in your case since no storage device was detected. The latter
gives the exact information about the devices (including the SATA
controller) present in your machine.

Cheers
Norman

--
Dr.-Ing. Norman Feske
Genode Labs

https://www.genode-labs.com · https://genode.org

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

_______________________________________________
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users