Add support for Hisilicon Hi3519Av100 DEMO board

Message ID OP-TEE/optee_os@2824
State New
Headers show

Message

z00214469 Feb. 15, 2019, 8:06 a.m.
# https://github.com/OP-TEE/optee_os/pull/2824
This represents a change submitted via Github. It is mirrored
here so that it is included in our statistics.