src = files('gicv2.c', 'main.c')