59a60,63
> Source('gic_v3.cc')
> Source('gic_v3_cpu_interface.cc')
> Source('gic_v3_distributor.cc')
> Source('gic_v3_redistributor.cc')