[Barrelfish-users] AHCI Problem

余博识 201608ybs at sjtu.edu.cn
Tue Nov 26 04:44:36 CET 2019

Hello everyone, I got into trouble when i try to run barrelfish OS. I got following error:

ERROR: ahcid.0 in do_ahci_init() ../usr/drivers/ahcid/ahcid.c:77
ERROR: ahci_queue create failed.
Failure: (          cpuid) Could not initalize queue [DEVQ_ERR_INIT_QUEUE]

I will appreciate if you can help me about this problem!

More information about the Barrelfish-users mailing list