[Hafnium] Hafnium and S-EL1 manifests

Hi,

I'm looking for good examples for manifests, both for S-EL1 SPs and for Hafnium itself. I've seen a few examples, but I'd like to make sure I'm doing the right thing. What hardware can be described? How is memory, secure and non-secure, described? Is HW_CONFIG used by Hafnium? If so, when and what is the format?

Thanks, Jens