AHCI driver questions

Hello there!

I am developing my own kernel (here if it matters) and I’m attempting to make an AHCI driver currently. I would like to reference the implementation that redox uses, and I know that redox has one, but I can’t seem to find the code for it. Where can I find the source for that, and do you think that it would be good to try to integrate into my own kernel or would it be too dependent on redox specific things (schemes etc)?