This seems to be hard to find, so here is a quick road map.
From the miaccess portal at miaccess.mitel.com select "InfoChannel"
Select Mitel Solutions Alliance from the drop down menu
Select "Certified Services" on the left
Select "SIP Trunk Provider"
Then you will see all of the configuration guides for various SIP trunks