Regarding the IRQ issue... On Thu, May 28, 2015 at 04:08:53PM +0000, Nobody III wrote: > I agree that IRQ 11 is probably the problem. It was when I was using the > old AHCI driver.
Your log of lshw states Linux is using IRQ/GSI 19 for pci@0000:00:11.0 in line 151. Unfortunately, the device surprisingly lacks the MSI capability and apparently the IRQ routing information in the ACPI table is wrong resp. incorrectly interpreted by our acpi_drv. Maybe you could try to hard-wire the IRQ setting for this device to 19 in pci_drv and give it a shot. Regards -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://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-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main