[U-Boot] [PATCH v5 00/14] Add PSCI support for Jetson TK1/Tegra124 + CNTFRQ fix

[Ian Campbell]

On Mon, 2015-03-09 at 08:00 +0100, Jan Kiszka wrote:
> Changes in v4:
>  - rebased over master
>  - implemented psci_get_cpu_id as weak function
>  - implemented psci_disable/enable_smp as weak functions
>  - adjusted register interface of psci_get_cpu_stack_top
> 
> This version (+ the non-cached memory init fix) can also be found at
> https://github.com/siemens/u-boot/tree/jetson-tk1-v5.

Tested-by: Ian Campbell <ijc at hellion.org.uk>

Ian.