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