[U-Boot] [PATCH v1 0/4] Jetson-TK1 support for PSCI

[Ian Campbell]

On Sat, 2015-02-14 at 16:08 +0100, Jan Kiszka wrote:
> To avoid duplicate work: I started to implement the suggested algorithm
> on the TK1. Just like Ian, I don't have access to any other platform
> (nor docs at hand), so I will stick with Tegra124 support for the first
> step. I suppose we can easily extend this later on.

After a conference, illness and vacation back to back I'm waaay behind
on my mail. I see there have been several iterations of this series now,
thanks for picking it up!

Ian.