Re: [U-Boot] [PATCH v3 06/10] tegra: select ARM_GIC for Tegra TK1s

Hello,

On Wed, Oct 26, 2016 at 08:55:27AM -0600, Stephen Warren wrote:

On 10/26/2016 06:10 AM, Antoine Tenart wrote:

...

Select the newly introduced ARM_GIC option to the relevant configuration which also have a psci implementation.

This doesn't look right; all Tegras have a GIC, so it's not a board-specific option. Perhaps TEGRA_COMMON or TEGRA_ARMV[78]_COMMON should select this?

Oops, I wanted to do this for the v3, but apparently forgot. Sorry.

Which one do you want me to use (TEGRA_COMMON vs TEGRA_ARMV[78]_COMMON)?

Antoine