sources([
    "gic_v3.c",
    "common.c",
    "default_ops.c",
])