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