There was a regression in the SATA driver a while back, when the driver was rewritten, and my AMD B450 SATA controller stopped working. I tried to find it back then, but couldn't. I drifted away from Genode development after that, but I still follow the project.

On Mon, Feb 22, 2021, 9:58 AM Edoardo Mantovani <mantovani.edoardo18@gmail.com> wrote:
Hello Norman,

here there are the 2 log text files, as you predicted, the block_devices file is blank.
Regards,
Edoardo Mantovani, 2021

Il giorno lun 22 feb 2021 alle ore 09:47 Norman Feske <norman.feske@genode-labs.com> ha scritto:
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


--

Edoardo Mantovani
Independent security researcher
email: Baseband@cpan.org
Urbino, Italy
_______________________________________________
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users