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

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?