1. b16bb16 hikey*: Support Trusted OS extra image (OP-TEE header) parsing by Victor Chong · 8 years ago
  2. 2de0c5c hikey*: Add LOAD_IMAGE_V2 support by Victor Chong · 8 years ago
  3. c78d524 hikey: bl31: enable CCI port for cluster 0 by Leo Yan · 8 years ago
  4. 127793d hikey: support BL31 by Haojian Zhuang · 8 years ago