He will need to file a federal tax return, Form 1040 and include with the federal return a Form 2555, Foreign Earned Income. TurboTax supports both Form 2555 and Form 1116, Foreign Tax Credits.
IRS Form 2555 - https://www.irs.gov/forms-pubs/about-form-2555
IRS Form 1116 - https://www.irs.gov/pub/irs-pdf/f1116.pdf
