AHCI Doesn't Work

I have tested the run script run/ahci (os/run/ahci) on both foc-x86_64 and fiasco-x86. It doesn't work on either platform. In the "Limitations and Known Issues" section of the README, it does mention that it won't work properly on real hardware or on Fiasco.OC, but it also doesn't work on Fiasco in qemu. I would very much like AHCI to work on Fiasco.OC on real hardware. Can someone who understands the problems fix it? (Or teach me enough so I can fix it; note that all my experience with Genode is in configuration, not actual programming, and that I'm not familiar with OS development.)