Re: AHCI still not working

2015-05-28 Thread Christian Helmuth
Hello Ben, On Thu, May 28, 2015 at 04:08:53PM +, Nobody III wrote: > As for working with git/Github, I'm still not very experienced. I've forked > Genode and added the lshw output as lshw.log, but I'm not sure where to go > from here. I've read some documentation, but I'm still a little confus

Re: AHCI still not working

2015-05-28 Thread Nobody III
I agree that IRQ 11 is probably the problem. It was when I was using the old AHCI driver. As for working with git/Github, I'm still not very experienced. I've forked Genode and added the lshw output as lshw.log, but I'm not sure where to go from here. I've read some documentation, but I'm still a l

Re: AHCI still not working

2015-05-28 Thread Christian Helmuth
Ben, I've another question: Do you have Linux running on the machine? Then please also add the output of sudo lshw -sanitize -numeric to your branch. The reasoning about potential causes of the issue would be much easier. Currently, I expect the usage of the legacy IRQ 11 to be the problem. R