[Hafnium] Hafnium repo management.

All,

I was looking at the hafnium repositories on trusted firmware and was wondering how we envision managing the project on trustedfirmware.org vs googlesource. Is the plan to set up this project to be like googlesource, i.e using repo to manage the multiple repositories ? There appears to be dependencies on third party tools/prebuilts in the BUILD.gn files so using something like repo even on trustedfirmware.org sounds useful.

Thanks Raghu