trustedfirmware.org

ns-1032.awsdns-01.org, ns-1747.awsdns-26.co.uk, ns-310.awsdns-38.com, ns-960.awsdns-56.net

aspmx.l.google.com(1), alt1.aspmx.l.google.com(5), alt2.aspmx.l.google.com(5), aspmx2.googlemail.com(10), aspmx3.googlemail.com(10)

google-site-verification=TA28yC02lnQcmmSqi7zfSQjTZl0FJIlfAd__lyUGeSc

v=spf1 a:developer.trustedfirmware.org a:issues.trustedfirmware.org include:amazonses.com include:_spf.google.com -all