On 14/10/2018 19:00, Valentin Schneider wrote: > [...] This was initially sent on Sunday but only got delivered today. In the meantime I dug a bit deeper and I think it has to do with the firmware implementation of PSCI. I raised a ticket for ATF ([1]).
[1]: https://github.com/ARM-software/tf-issues/issues/638
