3c3
< # Copyright (c) 2009 ARM Limited
---
> # Copyright (c) 2009, 2012-2013 ARM Limited
49a50
> Source('generic_timer.cc')
59a61
> Source('vgic.cc')
66a69
> DebugFlag('VGIC')