Please refer to the following Linaro Enterprise Group (LEG) articles in the Linaro wiki:
Source: https://github.com/tianocore/edk2/tree/master/ArmVirtPkg