Any drives connected to the Marvell 88SE9172 (on a gigabyte GA-HA65M-UD3H-B3 motherboard) do not appear to be recognised by default - it seems that the ahci driver does not recognise the pci vendor/product ID. Adding the IDs by sysfs and it *seems* to work - echo 1b4b 9192 > /sys/bus/pci/drivers/ahci/new_id It also has a "RAID mode", but I'm pretty sure it's just a form of dmraid. My apologies if this is logged to the incorrect place, or if I should've gone to my distros kernel team first.
Patch queued.
A patch referencing this bug report has been merged in Linux v3.6-rc6: commit 17c60c6b763cb5b83b0185e7d38d01d18e55a05a Author: Alan Cox <alan@linux.intel.com> Date: Tue Sep 4 16:07:18 2012 +0100 ahci: Add alternate identifier for the 88SE9172