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

[Ian Campbell]

On Thu, 2015-02-05 at 14:55 +0100, Thierry Reding wrote:
> Ian, are you planning on revising the series based on the outcome above?

Yes, although I don't have any 114 or 30 hardware, just a single Jetson.

(there should probably be an "eventually" near the start of that
sentence, I'm travelling for the next 10 days and don't have remote
power control...)

Ian.