I was fairly sure that was the reason myself.  I will continue on my end at this point to see if I can get the AMD AHCI controller to work by instrumenting the current AHCI driver.  If I can get this to work I will certainly provide my updates to the Genode team to help expand in this regard.

On Mon, Dec 18, 2017 at 8:38 AM, Christian Helmuth <christian.helmuth@...1...> wrote:
Hello Chris,

On Thu, Dec 14, 2017 at 10:45:37AM -0500, Chris Rothrock wrote:
> Here is the output from these two commands.
[...]
>         *-storage
>              description: RAID bus controller
>              product: SATA Controller [RAID mode] [8086:2822]
>              vendor: Intel Corporation [8086]
>              physical id: 17
>              bus info: pci@...542....:00:17.0
>              version: 31
>              width: 32 bits
>              clock: 66MHz
>              capabilities: storage msi pm bus_master cap_list
>              configuration: driver=ahci latency=0
>              resources: irq:123 memory:d1048000-d1049fff memory:d104e000-d104e0ff ioport:3080(size=8) ioport:3088(size=4) ioport:3060(size=32) memory:d104c000-d104c7ff
[...]
>      *-scsi:0
>           physical id: 2
>           logical name: scsi0
>           capabilities: emulated
>         *-disk
>              description: ATA Disk
>              product: WDC WD5000AZLX-6
>              vendor: Western Digital
>              physical id: 0.0.0
>              bus info: scsi@...528.....:0.0.0
>              logical name: /dev/sda
>              version: 1A01
>              serial: [REMOVED]
>              size: 465GiB (500GB)
>              capabilities: gpt-1.00 partitioned partitioned:gpt
>              configuration: ansiversion=5 guid=eaaf6998-3866-45df-b02d-8820514d2968 logicalsectorsize=512 sectorsize=4096
[...]
> 00:17.0 RAID bus controller [0104]: Intel Corporation SATA Controller [RAID
> mode] [8086:2822] (rev 31)
> Subsystem: Hewlett-Packard Company SATA Controller [RAID mode] [103c:802e]
> Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr-
> Stepping- SERR+ FastB2B- DisINTx+
> Status: Cap+ 66MHz+ UDF- FastB2B+ ParErr- DEVSEL=medium >TAbort- <TAbort-
> <MAbort- >SERR- <PERR- INTx-
> Latency: 0
> Interrupt: pin A routed to IRQ 123
> Region 0: Memory at d1048000 (32-bit, non-prefetchable) [size=8K]
> Region 1: Memory at d104e000 (32-bit, non-prefetchable) [size=256]
> Region 2: I/O ports at 3080 [size=8]
> Region 3: I/O ports at 3088 [size=4]
> Region 4: I/O ports at 3060 [size=32]
> Region 5: Memory at d104c000 (32-bit, non-prefetchable) [size=2K]
> Capabilities: [80] MSI: Enable+ Count=1/1 Maskable- 64bit-
> Address: fee00238  Data: 0000
> Capabilities: [70] Power Management version 3
> Flags: PMEClk- DSI- D1- D2- AuxCurrent=0mA PME(D0-,D1-,D2-,D3hot+,D3cold-)
> Status: D0 NoSoftRst+ PME-Enable- DSel=0 DScale=0 PME-
> Capabilities: [a8] SATA HBA v1.0 BAR4 Offset=00000004
> Kernel driver in use: ahci
> Kernel modules: ahci

I had a thorough look at the information above and unfortunately this
storage configuration is not supported by Genode currently. The
reasons are:

1) The storage controller does not appear as AHCI device but as SATA
   RAID mode controller. Therefore, our platform_drv does not provide
   access to the I/O resources to the AHCI driver.

2) If ahci_drv had access to the device it would not use it as we did
   not implement any special handling of RAID mode controllers. It may
   be possible to extend the driver by means to drive the device via
   BAR4 (I/O ports 3060+32) but I have no experience with this
   operation.

Regards
--
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://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

------------------------------------------------------------------------------
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



--


Thank You,

Chris Rothrock
Senior System Administrator
(315) 308-1637