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 little confused. I think I can figure things out, but I still have one question that I need an answer to: Can I fork the Genode repository without having to re-download Genode for my fork?

On Thu, May 28, 2015 at 9:00 AM, Christian Helmuth <christian.helmuth@...1...> wrote:

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.

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@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main