diff options
author | Stephen Warren <swarren@wwwdotorg.org> | 2016-04-01 21:14:14 -0600 |
---|---|---|
committer | Tom Rini <trini@konsulko.com> | 2016-04-11 12:44:38 -0400 |
commit | 7439b4399b14242e6c41b86734baa3fe31c4517f (patch) | |
tree | f8129b96b541a4fd7febb46dddfe79b641b3e723 /board/raspberrypi | |
parent | 4861be7e68e6cf1359389837be174dbb40d07533 (diff) |
ARM: allow CONFIG_GICV* not to be defined
There are ARM SoCs (such as the BCM2837) do not contain an ARM GIC. Fix
the ARMv8 CPU startup code to compile in this case.
Signed-off-by: Stephen Warren <swarren@wwwdotorg.org>
Reviewed-by: Tom Rini <trini@konsulko.com>
Diffstat (limited to 'board/raspberrypi')
0 files changed, 0 insertions, 0 deletions