I'd also verify that the platform driver works. I found that the Linux USB driver didn't detect devices plugged into USB 2.0 ports when running on Genode. The USB 3.0 ports worked just fine, and all the USB ports work when running Linux. I'd recommend checking whether you get similar results.

On Nov 2, 2017 3:48 AM, "Sebastian Sumpf" <Sebastian.Sumpf@...1...> wrote:
On 01.11.2017 20:27, Chris Rothrock wrote:
> The IRQ that my AHCI controller is using for SATA port 0 is 37 (I know,
> it's pretty high and is probably contributing to the issue).  From what
> I understand, however, the drivers ported for Genode are derived from
> the original Linux version drivers which obviously work in Linux.  Do
> you think it would help if I did some code comparison between the AHCI
> driver port for Genode and the original Linux AHCI driver that works? 
> Perhaps if I delve in deep enough I can find some structuring that has a
> special handling for AMD SATA controllers and help to contribute to the
> project.

Genode's AHCI driver was written from scratch, therefore it lacks
features the Linux driver certainly offers. So, a little digging into
the Linux driver for special handling of AMD controllers might help.

Cheers,

Sebastian

--
Sebastian Sumpf
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth




------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
genode-main@...172...net
https://lists.sourceforge.net/lists/listinfo/genode-main