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@...332...: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-d1049fffmemory: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@...361...: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-8820514d2968logicalsectorsize=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:
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.
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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main